Symbol: VMCS_HOST_IA32_IDTR_BASE
sys/arch/amd64/amd64/vmm_machdep.c
2749
if (vmwrite(VMCS_HOST_IA32_IDTR_BASE, idt_vaddr)) {
sys/arch/amd64/amd64/vmm_machdep.c
8069
vmx_dump_vmcs_field(VMCS_HOST_IA32_IDTR_BASE, "H. IDTR Base");