Symbol: ppc4xx_tlb_init
sys/arch/powerpc/ibm4xx/pmap.c
331
ppc4xx_tlb_init();
sys/arch/powerpc/include/ibm4xx/tlb.h
141
void ppc4xx_tlb_init(void);