Symbol: dcache_inv
sys/arch/evbppc/mpc85xx/machdep.c
914
dcache_inv((vaddr_t)&e[i], sizeof(e[i]));
sys/arch/evbppc/mpc85xx/machdep.c
925
dcache_inv((vaddr_t)h, sizeof(*h));
sys/arch/evbppc/mpc85xx/machdep.c
959
dcache_inv((vaddr_t)h, sizeof(*h));
sys/arch/powerpc/include/cpu.h
399
void dcache_inv(vaddr_t, vsize_t);