Symbol: e500_tlb_print
sys/arch/evbppc/mpc85xx/machdep.c
830
e500_tlb_print(self, "tlb0", mfspr(SPR_TLB0CFG));
sys/arch/evbppc/mpc85xx/machdep.c
831
e500_tlb_print(self, "tlb1", mfspr(SPR_TLB1CFG));