PTE_VSID_SHIFT_32
((((ptp32->pte_hi >> PTE_VSID_SHIFT_32) & SR_VSID)
pte32->pte_hi = ((sr & SR_VSID) << PTE_VSID_SHIFT_32) |