Symbol: MAS3_SR
sys/arch/powerpc/booke/e500_tlb.c
123
prot_mask = MAS3_SX|MAS3_SW|MAS3_SR;
sys/arch/powerpc/booke/e500_tlb.c
252
CTASSERT(MAS3_SR == (PTE_xR >> PTE_RWX_SHIFT));