Symbol: tlb1_init
sys/powerpc/booke/booke_machdep.c
331
tlb1_init();
sys/powerpc/include/tlb.h
154
void tlb1_init(void);