PTE_RO
((old_pp == PTE_RO && !(flags & PROT_WRITE)) ||
pted->pted_pte.pte_lo |= PTE_RO;
pte->pte_lo |= PTE_RO;