Searched refs:VMX_GUEST_GDTR_BASE (Results 1 – 5 of 5) sorted by relevance
143 ext_ctx->gdtr.base = exec_vmread(VMX_GUEST_GDTR_BASE); in save_world_ctx()196 exec_vmwrite(VMX_GUEST_GDTR_BASE, ext_ctx->gdtr.base); in load_world_ctx()
35 exec_vmwrite(VMX_GUEST_GDTR_BASE, ectx->gdtr.base); in init_guest_vmx()
368 VMX_GUEST_GDTR_BASE,
333 desc->base_field = VMX_GUEST_GDTR_BASE; in encode_vmcs_seg_desc()
195 #define VMX_GUEST_GDTR_BASE 0x00006816U macro
Completed in 15 milliseconds