PTE2_RO
PTE2_NX | PTE2_RO | PTE2_U | PTE2_W | \
(((l2_attr) & PTE2_RO) ? PTE1_RO : 0) | \
(!(pte2 & PTE2_RO) || !(prot & VM_PROT_WRITE))) {
(((l1_attr) & PTE1_RO) ? PTE2_RO : 0) | \
if ((fpte2 & (PTE2_NM | PTE2_RO)) == PTE2_NM) {
fpte2 |= PTE2_RO;
if ((pte2 & (PTE2_NM | PTE2_RO)) == PTE2_NM) {
pte2 |= PTE2_RO;
npte2 |= PTE2_RO;
KASSERT((npte2 & (PTE2_NM | PTE2_RO)) != PTE2_RO,
!pte2_is_valid(opte2) || ((opte2 & PTE2_RO) != 0),
l2prot = PTE2_RO | PTE2_NM;
npte2 |= PTE2_RO | PTE2_NM;
if (!(opte2 & PTE2_RO)) {
pte2_store(pte2p, opte2 | PTE2_RO | PTE2_NM);
pte2_set_bit(pte2p, PTE2_NM | PTE2_RO);
if (pte2_is_valid(pte2) && !(pte2 & PTE2_RO) &&
return ((pte2 & (PTE2_NM | PTE2_RO)) == 0);
#define PTE2_AP_KR (PTE2_RO | PTE2_NM)
#define PTE2_AP_KRUR (PTE2_RO | PTE2_NM | PTE2_U)