3 * Marvell Semiconductor <www.marvell.com>
4 * Written-by: Prafulla Wadaskar <prafulla@marvell.com>
6 * SPDX-License-Identifier: GPL-2.0+
12 #include <asm/system.h>
17 * Invalidate L2 Cache using co-proc instruction
19 #ifdef CONFIG_SYS_THUMB_BUILD
20 void invalidate_l2_cache(void);
22 static inline void invalidate_l2_cache(void)
26 asm volatile("mcr p15, 1, %0, c15, c11, 0 @ invl l2 cache"
27 : : "r" (val) : "cc");
32 int check_cache_range(unsigned long start, unsigned long stop);
34 void l2_cache_enable(void);
35 void l2_cache_disable(void);
36 void set_section_dcache(int section, enum dcache_option option);
38 void arm_init_before_mmu(void);
39 void arm_init_domains(void);
40 void cpu_cache_initialization(void);
41 void dram_bank_mmu_setup(int bank);
46 * The value of the largest data cache relevant to DMA operations shall be set
47 * for us in CONFIG_SYS_CACHELINE_SIZE. In some cases this may be a larger
48 * value than found in the L1 cache but this is OK to use in terms of
51 #define ARCH_DMA_MINALIGN CONFIG_SYS_CACHELINE_SIZE
53 #endif /* _ASM_CACHE_H */