Symbol: VMCS_HOST_IA32_GDTR_BASE
sys/arch/amd64/amd64/vmm_machdep.c
3785
if (vmwrite(VMCS_HOST_IA32_GDTR_BASE, gdt.rd_base)) {
sys/arch/amd64/amd64/vmm_machdep.c
3787
__func__, VMCS_HOST_IA32_GDTR_BASE,
sys/arch/amd64/amd64/vmm_machdep.c
8067
vmx_dump_vmcs_field(VMCS_HOST_IA32_GDTR_BASE, "H. GDTR Base");