1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3 * (C) Copyright 2015 Texas Insturments
4 */
5
6 /*
7 * CP15 specific code
8 */
9
10 #include <common.h>
11 #include <command.h>
12 #include <asm/system.h>
13 #include <asm/cache.h>
14 #include <asm/armv7.h>
15 #include <linux/compiler.h>
16
v7_arch_cp15_set_l2aux_ctrl(u32 l2actlr,u32 cpu_midr,u32 cpu_rev_comb,u32 cpu_variant,u32 cpu_rev)17 void __weak v7_arch_cp15_set_l2aux_ctrl(u32 l2actlr, u32 cpu_midr,
18 u32 cpu_rev_comb, u32 cpu_variant,
19 u32 cpu_rev)
20 {
21 asm volatile ("mcr p15, 1, %0, c15, c0, 0\n\t" : : "r"(l2actlr));
22 }
23
v7_arch_cp15_set_acr(u32 acr,u32 cpu_midr,u32 cpu_rev_comb,u32 cpu_variant,u32 cpu_rev)24 void __weak v7_arch_cp15_set_acr(u32 acr, u32 cpu_midr, u32 cpu_rev_comb,
25 u32 cpu_variant, u32 cpu_rev)
26 {
27 asm volatile ("mcr p15, 0, %0, c1, c0, 1\n\t" : : "r"(acr));
28 }
29