va_to_vsid
hash = va_to_vsid(pm, addr) ^ ((addr & ADDR_PIDX) >> ADDR_PIDX_SHFT);
pt->pte_hi = (va_to_vsid(pm, va) << PTE_VSID_SHFT)
pt->pte_hi = ((u_int64_t)va_to_vsid(pm, va) << PTE_VSID_SHFT)