Searched defs:dcache_wbinv_page (Results 1 - 2 of 2) sorted by relevance
| /src/sys/arch/powerpc/booke/ | ||
| H A D | booke_cache.c | 115 dcache_wbinv_page(vaddr_t va) function in typeref:typename:void |
| /src/sys/arch/powerpc/ibm4xx/ | ||
| H A D | cpu.c | 342 dcache_wbinv_page(vaddr_t va) function in typeref:typename:void |
Completed in 3 milliseconds