Symbol: VMCS_GUEST_IA32_IDTR_BASE
sys/arch/amd64/amd64/vmm_machdep.c
1076
if (vmread(VMCS_GUEST_IA32_IDTR_BASE,
sys/arch/amd64/amd64/vmm_machdep.c
1358
if (vmwrite(VMCS_GUEST_IA32_IDTR_BASE,
sys/arch/amd64/amd64/vmm_machdep.c
8039
vmx_dump_vmcs_field(VMCS_GUEST_IA32_IDTR_BASE, "G. IDTR Base");
sys/arch/amd64/amd64/vmm_machdep.c
8357
if (vmread(VMCS_GUEST_IA32_IDTR_BASE, &r))