Searched refs:ppc4xx_tlb_flush (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/sys/arch/powerpc/include/ibm4xx/
H A Dtlb.h100 void ppc4xx_tlb_flush(vaddr_t, int);
/netbsd-current/sys/arch/powerpc/ibm4xx/
H A Dpmap.c252 ppc4xx_tlb_flush(va, pm->pm_ctx);
995 ppc4xx_tlb_flush(va, pm->pm_ctx);
1053 ppc4xx_tlb_flush(sva, pm->pm_ctx);
1268 ppc4xx_tlb_flush(vaddr_t va, int pid) function

Completed in 142 milliseconds