Searched refs:guest_tr_ar (Results 1 – 1 of 1) sorted by relevance
2817 u32 guest_tr_ar; in enter_lmode() local2821 guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES); in enter_lmode()2822 if ((guest_tr_ar & VMX_AR_TYPE_MASK) != VMX_AR_TYPE_BUSY_64_TSS) { in enter_lmode()2826 (guest_tr_ar & ~VMX_AR_TYPE_MASK) in enter_lmode()