VMCS_HOST_IA32_GDTR_BASE
if (vmwrite(VMCS_HOST_IA32_GDTR_BASE, gdt.rd_base)) {
__func__, VMCS_HOST_IA32_GDTR_BASE,
vmx_dump_vmcs_field(VMCS_HOST_IA32_GDTR_BASE, "H. GDTR Base");