Symbol: ppc4xx_tlb_flush
sys/arch/powerpc/ibm4xx/pmap.c
1014
ppc4xx_tlb_flush(va, pm->pm_ctx);
sys/arch/powerpc/ibm4xx/pmap.c
1072
ppc4xx_tlb_flush(sva, pm->pm_ctx);
sys/arch/powerpc/ibm4xx/pmap.c
267
ppc4xx_tlb_flush(va, pm->pm_ctx);
sys/arch/powerpc/include/ibm4xx/tlb.h
139
void ppc4xx_tlb_flush(vaddr_t, int);