Symbol: kernel_va_to_slbv
sys/powerpc/aim/slb.c
565
slbv = kernel_va_to_slbv(addr);
sys/powerpc/include/pmap.h
271
uint64_t kernel_va_to_slbv(vm_offset_t va);