Symbol: dcache_wbinv
sys/arch/evbppc/mpc85xx/machdep.c
902
dcache_wbinv((vaddr_t)h, sizeof(*h));
sys/arch/evbppc/mpc85xx/machdep.c
909
dcache_wbinv((vaddr_t)&e[i], sizeof(e[i]));
sys/arch/evbppc/mpc85xx/machdep.c
952
dcache_wbinv((vaddr_t)h, sizeof(*h));
sys/arch/powerpc/include/cpu.h
398
void dcache_wbinv(vaddr_t, vsize_t);