SR_VSID
i = (pm->pm_sr[0] & SR_VSID) >> 4;
((((ptp32->pte_hi >> PTE_VSID_SHIFT_32) & SR_VSID)
hash = (sr & SR_VSID) ^ (((u_int)va & ADDR_PIDX) >> ADDR_PIDX_SHIFT);
pte64->pte_hi = (((u_int64_t)sr & SR_VSID) <<
pte32->pte_hi = ((sr & SR_VSID) << PTE_VSID_SHIFT_32) |