Symbol: dcache_wbinv_page
sys/arch/powerpc/ibm4xx/pmap.c
719
dcache_wbinv_page(dst);
sys/arch/powerpc/include/cpu.h
393
void dcache_wbinv_page(vaddr_t);