Symbol: dcache_enable
sys/powerpc/booke/machdep_e500.c
48
extern void dcache_enable(void);
sys/powerpc/booke/machdep_e500.c
65
dcache_enable();
sys/powerpc/booke/mp_cpudep.c
43
extern void dcache_enable(void);
sys/powerpc/booke/mp_cpudep.c
60
dcache_enable();