icache_invalidate 47 kernel/arch/arm32/include/arch/cache.h extern void icache_invalidate(void); icache_invalidate 64 kernel/arch/arm32/src/smc.c icache_invalidate();