Symbol: dcache_wb_page
sys/arch/powerpc/booke/booke_pmap.c
104
dcache_wb_page(pa);
sys/arch/powerpc/booke/trap.c
314
dcache_wb_page(pa);
sys/arch/powerpc/include/cpu.h
392
void dcache_wb_page(vaddr_t);