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