PTE_R
_Static_assert(PTE_R == RISCV_PTE_R, "PTE_R mismatch");
#define PTE_RWX (PTE_R | PTE_W | PTE_X)
#define PTE_RX (PTE_R | PTE_X)
#define PTE_KERN (PTE_V | PTE_R | PTE_W | PTE_A | PTE_D)
new_l3 = PTE_V | PTE_R | PTE_A;
(ftype == VM_PROT_READ && (oldpte & PTE_R) == 0))
new_l3 = PTE_V | PTE_R | PTE_A;
new_l2 = (pd_entry_t)((pn << PTE_PPN0_S) | PTE_R | PTE_V |
PTE_V | PTE_R | pmap_memattr_bits(m->md.pv_memattr);