PTE_PP_32
pted->p.pted_pte32.pte_lo &= ~PTE_PP_32;
ptp32->pte_lo &= ~(PTE_CHG_32|PTE_PP_32);
if ((pted->p.pted_pte32.pte_lo & PTE_PP_32) ==