Searched refs:guest_tr_ar (Results 1 – 1 of 1) sorted by relevance
2861 u32 guest_tr_ar; in enter_lmode() local2865 guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES); in enter_lmode()2866 if ((guest_tr_ar & VMX_AR_TYPE_MASK) != VMX_AR_TYPE_BUSY_64_TSS) { in enter_lmode()2870 (guest_tr_ar & ~VMX_AR_TYPE_MASK) in enter_lmode()