PTE_RO_32
pted->p.pted_pte32.pte_lo |= PTE_RO_32;
ptp32->pte_lo |= PTE_RO_32;
PTE_RO_32)
pte32->pte_lo |= PTE_RO_32;