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 DT_MACHINE_START(STM, "STi SoC with Flattened Device Tree") 24 .dt_compat = stih41x_dt_match, 25 .l2c_aux_val = L2C_AUX_CTRL_SHARED_OVERRIDE | 26 L310_AUX_CTRL_DATA_PREFETCH | 27 L310_AUX_CTRL_INSTR_PREFETCH | 28 L2C_AUX_CTRL_WAY_SIZE(4), 29 .l2c_aux_mask = 0xc0000fff, 30 .smp = smp_ops(sti_smp_ops), 31 MACHINE_END 32