Symbol: mmu_booke_pinit0
sys/powerpc/booke/pmap.c
319
static void mmu_booke_pinit0(pmap_t);
sys/powerpc/booke/pmap.c
382
.pinit0 = mmu_booke_pinit0,