VMCS_GUEST_IA32_GDTR_BASE
if (vmread(VMCS_GUEST_IA32_GDTR_BASE,
if (vmwrite(VMCS_GUEST_IA32_GDTR_BASE,
vmx_dump_vmcs_field(VMCS_GUEST_IA32_GDTR_BASE, "G. GDTR Base");
if (vmread(VMCS_GUEST_IA32_GDTR_BASE, &r))