Searched refs:dcache_inv_page (Results 1 – 2 of 2) sorted by relevance
| /netbsd/sys/arch/powerpc/booke/ | ||
| H A D | booke_cache.c | 121 dcache_inv_page(vaddr_t va) in dcache_inv_page() function |
| /netbsd/sys/arch/powerpc/include/ | ||
| H A D | cpu.h | 394 void dcache_inv_page(vaddr_t); |