VMCS_GUEST_IA32_TR_AR
VMCS_GUEST_IA32_TR_AR, VMCS_GUEST_IA32_TR_BASE }
vmx_dump_vmcs_field(VMCS_GUEST_IA32_TR_AR, "G. TR AR");
if (vmread(VMCS_GUEST_IA32_TR_AR, &r))