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