1 // SPDX-License-Identifier: GPL-2.0+
4 * Heiko Schocher, DENX Software Engineering, hs@denx.de.
6 #include <linux/types.h>
9 void enable_caches(void)
11 #ifndef CONFIG_SYS_ICACHE_OFF
16 #ifndef CONFIG_SYS_ICACHE_OFF
17 /* Invalidate entire I-cache and branch predictor array */
18 void invalidate_icache_all(void)
22 asm ("mcr p15, 0, %0, c7, c5, 0" : : "r" (i));
25 void invalidate_icache_all(void)