Symbol: dcache_wbinv_page
sys/arch/powerpc/booke/booke_cache.c
115
dcache_wbinv_page(vaddr_t va)
sys/arch/powerpc/ibm4xx/cpu.c
395
dcache_wbinv_page(vaddr_t va)