VMCS_GUEST_IA32_TR_SEL
{ VMCS_GUEST_IA32_TR_SEL, VMCS_GUEST_IA32_TR_LIMIT,
vmx_dump_vmcs_field(VMCS_GUEST_IA32_TR_SEL, "G.TR");
if (vmread(VMCS_GUEST_IA32_TR_SEL, &r))