dcache_invalidate 48 kernel/arch/arm32/include/arch/cache.h extern void dcache_invalidate(void); dcache_invalidate 137 kernel/arch/arm32/src/cpu/cpu.c dcache_invalidate();