Symbol: mmu_booke_decode_kernel_ptr
sys/powerpc/booke/pmap.c
353
static int mmu_booke_decode_kernel_ptr(vm_offset_t addr,
sys/powerpc/booke/pmap.c
413
.decode_kernel_ptr = mmu_booke_decode_kernel_ptr,