PTE_RWX_SHIFT
prot_shift = PTE_RWX_SHIFT - 1;
prot_shift = PTE_RWX_SHIFT;
hwtlb.hwtlb_mas3 = (prot_mask >> (PTE_RWX_SHIFT - 1))
| ((prot_mask & ~PTE_xX) >> PTE_RWX_SHIFT);
CTASSERT(MAS3_UR == (PTE_xR >> (PTE_RWX_SHIFT - 1)));
CTASSERT(MAS3_SR == (PTE_xR >> PTE_RWX_SHIFT));
hwtlb.hwtlb_mas3 = prot_mask >> PTE_RWX_SHIFT;
hwtlb.hwtlb_mas3 = prot_mask >> PTE_RWX_SHIFT;