MAS1_TID
if ((mas1 & (MAS1_V|MAS1_TID|MAS1_TS)) != MAS1_V)
asid_lo = __SHIFTIN(asid_lo, MAS1_TID);
asid_hi = __SHIFTIN(asid_hi, MAS1_TID);
&& asid_lo <= (mas1 & MAS1_TID)
&& (mas1 & MAS1_TID) <= asid_hi) {