PTE_xR
PTE_M | PTE_xR | PTE_xX);
va = pmap_kvptefill(va, trunc_page((vaddr_t)_fdata), PTE_M | PTE_xR);
va = pmap_kvptefill(va, round_page(endkernel), PTE_M | PTE_xR | PTE_xW);
PTE_M | PTE_xR | PTE_xW);
pmap_kvptefill(sva, eva, PTE_M | PTE_xR | PTE_xW);
kxtlb->e_tlb.tlb_pte = PTE_M|PTE_xR|PTE_xW|PTE_xX;
PTE_M | PTE_xR | PTE_xW | PTE_xX);
text_xtlb->e_tlb.tlb_pte = PTE_M | PTE_xR | PTE_xX | text_xtlb->e_tlb.tlb_va;
data_xtlb->e_tlb.tlb_pte = PTE_M | PTE_xR | PTE_xW | data_xtlb->e_tlb.tlb_va;
KASSERT(prot_mask & PTE_xR);
CTASSERT(MAS3_UR == (PTE_xR >> (PTE_RWX_SHIFT - 1)));
CTASSERT(MAS3_SR == (PTE_xR >> PTE_RWX_SHIFT));
tlb.tlb_pte & PTE_xR ? "R" : "",
| PTE_M | PTE_xX | PTE_xW | PTE_xR;
pt_entry_t pt_entry = PTE_xR;
#define PTE_IO (PTE_I|PTE_G|PTE_xW|PTE_xR)
#define PTE_DEFAULT (PTE_M|PTE_xX|PTE_xW|PTE_xR)
#define PTE_RWX_MASK (PTE_xX|PTE_xW|PTE_xR)