Searched refs:guest_tr_ar (Results 1 – 2 of 2) sorted by relevance
100 uint64_t guest_tr_ar = rvmcs(vcpu, VMCS_GUEST_TR_ACCESS_RIGHTS); in enter_long_mode() local102 (guest_tr_ar & AR_TYPE_MASK) != AR_TYPE_BUSY_64_TSS) { in enter_long_mode()104 (guest_tr_ar & ~AR_TYPE_MASK) | AR_TYPE_BUSY_64_TSS); in enter_long_mode()
3151 u32 guest_tr_ar; in enter_lmode() local3155 guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES); in enter_lmode()3156 if ((guest_tr_ar & VMX_AR_TYPE_MASK) != VMX_AR_TYPE_BUSY_64_TSS) { in enter_lmode()3160 (guest_tr_ar & ~VMX_AR_TYPE_MASK) in enter_lmode()