3 * Heiko Schocher, DENX Software Engineering, hs@denx.de.
5 * SPDX-License-Identifier: GPL-2.0+
7 #include <linux/types.h>
10 void enable_caches(void)
12 #ifndef CONFIG_SYS_ICACHE_OFF
17 #ifndef CONFIG_SYS_ICACHE_OFF
18 /* Invalidate entire I-cache and branch predictor array */
19 void invalidate_icache_all(void)
23 asm ("mcr p15, 0, %0, c7, c5, 0" : : "r" (i));
26 void invalidate_icache_all(void)