VMCS_GUEST_IA32_LDTR_BASE
VMCS_GUEST_IA32_LDTR_AR, VMCS_GUEST_IA32_LDTR_BASE },
vmx_dump_vmcs_field(VMCS_GUEST_IA32_LDTR_BASE, "G. LDTR Base");
if (vmread(VMCS_GUEST_IA32_LDTR_BASE, &r))