Searched refs:VMX_GUEST_IDTR_LIMIT (Results 1 – 5 of 5) sorted by relevance
144 ext_ctx->idtr.limit = exec_vmread32(VMX_GUEST_IDTR_LIMIT); in save_world_ctx()197 exec_vmwrite32(VMX_GUEST_IDTR_LIMIT, ext_ctx->idtr.limit); in load_world_ctx()
42 exec_vmwrite32(VMX_GUEST_IDTR_LIMIT, ectx->idtr.limit); in init_guest_vmx()
329 VMX_GUEST_IDTR_LIMIT,
329 desc->limit_field = VMX_GUEST_IDTR_LIMIT; in encode_vmcs_seg_desc()
151 #define VMX_GUEST_IDTR_LIMIT 0x00004812U macro
Completed in 14 milliseconds