VMCS_GUEST_IA32_LDTR_SEL
{ VMCS_GUEST_IA32_LDTR_SEL, VMCS_GUEST_IA32_LDTR_LIMIT,
vmx_dump_vmcs_field(VMCS_GUEST_IA32_LDTR_SEL, "LDTR");
if (vmread(VMCS_GUEST_IA32_LDTR_SEL, &r))