Symbol: dcache_inval
sys/powerpc/booke/machdep_e500.c
46
extern void dcache_inval(void);
sys/powerpc/booke/machdep_e500.c
61
dcache_inval();
sys/powerpc/booke/mp_cpudep.c
44
extern void dcache_inval(void);
sys/powerpc/booke/mp_cpudep.c
59
dcache_inval();