Symbol: e500_tlb_init
sys/arch/evbppc/mpc85xx/machdep.c
1264
e500_tlb_init(endkernel, pmemsize);
sys/arch/powerpc/include/booke/e500var.h
55
void e500_tlb_init(vaddr_t, psize_t);