va_to_vsid
vsid = va_to_vsid(pm, (vm_offset_t)uaddr);
slbv = va_to_vsid(pm, (vm_offset_t)uaddr) << SLBV_VSID_SHIFT;
slbv = va_to_vsid(pm, (vm_offset_t)uaddr);
vsid = va_to_vsid(pmap, va);
uint64_t va_to_vsid(pmap_t pm, vm_offset_t va);