Searched refs:VMX_GUEST_IDTR_BASE (Results 1 – 5 of 5) sorted by relevance
142 ext_ctx->idtr.base = exec_vmread(VMX_GUEST_IDTR_BASE); in save_world_ctx()195 exec_vmwrite(VMX_GUEST_IDTR_BASE, ext_ctx->idtr.base); in load_world_ctx()
40 exec_vmwrite(VMX_GUEST_IDTR_BASE, ectx->idtr.base); in init_guest_vmx()
369 VMX_GUEST_IDTR_BASE,
328 desc->base_field = VMX_GUEST_IDTR_BASE; in encode_vmcs_seg_desc()
196 #define VMX_GUEST_IDTR_BASE 0x00006818U macro
Completed in 13 milliseconds