MAS3_UR
prot_mask = MAS3_UX|MAS3_UW|MAS3_UR;
KASSERT(hwtlb.hwtlb_mas3 & MAS3_UR);
CTASSERT(MAS3_UR == (PTE_xR >> (PTE_RWX_SHIFT - 1)));