Symbol: dcache_zero_page
sys/arch/powerpc/booke/booke_pmap.c
353
dcache_zero_page(va);
sys/arch/powerpc/include/cpu.h
395
void dcache_zero_page(vaddr_t);