Searched refs:guest_tr_ar (Results 1 – 1 of 1) sorted by relevance
2846 u32 guest_tr_ar; in enter_lmode() local2850 guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES); in enter_lmode()2851 if ((guest_tr_ar & AR_TYPE_MASK) != AR_TYPE_BUSY_64_TSS) { in enter_lmode()2855 (guest_tr_ar & ~AR_TYPE_MASK) in enter_lmode()