Symbol: mmu_booke_pinit
sys/powerpc/booke/pmap_32.c
688
mmu_booke_pinit(pmap_t pmap)
sys/powerpc/booke/pmap_64.c
590
mmu_booke_pinit(pmap_t pmap)