1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Copyright (C) 2013 STMicroelectronics (R&D) Limited. 4 * Author(s): Srinivas Kandagatla <srinivas.kandagatla@st.com> 5 */ 6 7 #include <linux/irq.h> 8 #include <linux/of_platform.h> 9 #include <asm/hardware/cache-l2x0.h> 10 #include <asm/mach/arch.h> 11 12 #include "smp.h" 13 14 static const char *const stih41x_dt_match[] __initconst = { 15 "st,stih415", 16 "st,stih416", 17 "st,stih407", 18 "st,stih410", 19 "st,stih418", 20 NULL 21 }; 22 23 static void sti_l2_write_sec(unsigned long val, unsigned reg) 24 { 25 /* 26 * We can't write to secure registers as we are in non-secure 27 * mode, until we have some SMI service available. 28 */ 29 } 30 31 DT_MACHINE_START(STM, "STi SoC with Flattened Device Tree") 32 .dt_compat = stih41x_dt_match, 33 .l2c_aux_val = L2C_AUX_CTRL_SHARED_OVERRIDE | 34 L310_AUX_CTRL_DATA_PREFETCH | 35 L310_AUX_CTRL_INSTR_PREFETCH | 36 L2C_AUX_CTRL_WAY_SIZE(4), 37 .l2c_aux_mask = 0xc0000fff, 38 .smp = smp_ops(sti_smp_ops), 39 .l2c_write_sec = sti_l2_write_sec, 40 MACHINE_END 41