guest_tr_ar      2789 arch/x86/kvm/vmx/vmx.c 	u32 guest_tr_ar;
guest_tr_ar      2793 arch/x86/kvm/vmx/vmx.c 	guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES);
guest_tr_ar      2794 arch/x86/kvm/vmx/vmx.c 	if ((guest_tr_ar & VMX_AR_TYPE_MASK) != VMX_AR_TYPE_BUSY_64_TSS) {
guest_tr_ar      2798 arch/x86/kvm/vmx/vmx.c 			     (guest_tr_ar & ~VMX_AR_TYPE_MASK)