PTE1_RO
PTE1_NX | PTE1_RO | PTE1_U | PTE1_W | \
(((l2_attr) & PTE2_RO) ? PTE1_RO : 0) | \
if (!(pte1 & PTE1_RO) || !(prot & VM_PROT_WRITE)) {
(((l1_attr) & PTE1_RO) ? PTE2_RO : 0) | \
KASSERT((opte1 & (PTE1_NM | PTE1_RO)) != PTE1_NM,
pte1 = PTE1(pa, PTE1_NM | PTE1_RO, ATTR_TO_L1(vm_page_pte2_attr(m)));
KASSERT((pte1 & (PTE1_NM | PTE1_RO)) == 0 ||
(pte1 & (PTE1_NM | PTE1_RO)) == (PTE1_NM | PTE1_RO),
if ((pte1 & PTE1_RO) == 0) {
npte1 |= PTE1_RO | PTE1_NM;
if (!(pte1_load(pte1p) & PTE1_RO))
if (!(opte1 & PTE1_RO)) {
if (!(pte1 & PTE1_RO) && (pte1 & PTE1_NM)) {
return ((pte1 & (PTE1_NM | PTE1_RO)) == 0);
#define PTE1_AP_KR (PTE1_RO | PTE1_NM)
#define PTE1_AP_KRUR (PTE1_RO | PTE1_NM | PTE1_U)