2 * (C) Copyright 2015 Texas Insturments
4 * SPDX-License-Identifier: GPL-2.0+
13 #include <asm/system.h>
14 #include <asm/cache.h>
15 #include <asm/armv7.h>
16 #include <linux/compiler.h>
18 void __weak v7_arch_cp15_set_l2aux_ctrl(u32 l2actlr, u32 cpu_midr,
19 u32 cpu_rev_comb, u32 cpu_variant,
22 asm volatile ("mcr p15, 1, %0, c15, c0, 0\n\t" : : "r"(l2actlr));
25 void __weak v7_arch_cp15_set_acr(u32 acr, u32 cpu_midr, u32 cpu_rev_comb,
26 u32 cpu_variant, u32 cpu_rev)
28 asm volatile ("mcr p15, 0, %0, c1, c0, 1\n\t" : : "r"(acr));