VMX_AR_TYPE_MASK
if ((guest_tr_ar & VMX_AR_TYPE_MASK) != VMX_AR_TYPE_BUSY_64_TSS) {
(guest_tr_ar & ~VMX_AR_TYPE_MASK)