1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2012-2015 Altera Corporation
5 #include <linux/irqchip.h>
6 #include <linux/of_address.h>
7 #include <linux/of_irq.h>
8 #include <linux/of_platform.h>
9 #include <linux/reboot.h>
10 #include <linux/reset/socfpga.h>
12 #include <asm/hardware/cache-l2x0.h>
13 #include <asm/mach/arch.h>
14 #include <asm/mach/map.h>
15 #include <asm/cacheflush.h>
19 void __iomem
*sys_manager_base_addr
;
20 void __iomem
*rst_manager_base_addr
;
21 void __iomem
*sdr_ctl_base_addr
;
22 unsigned long socfpga_cpu1start_addr
;
24 static void __init
socfpga_sysmgr_init(void)
26 struct device_node
*np
;
28 np
= of_find_compatible_node(NULL
, NULL
, "altr,sys-mgr");
30 if (of_property_read_u32(np
, "cpu1-start-addr",
31 (u32
*) &socfpga_cpu1start_addr
))
32 pr_err("SMP: Need cpu1-start-addr in device tree.\n");
34 /* Ensure that socfpga_cpu1start_addr is visible to other CPUs */
36 sync_cache_w(&socfpga_cpu1start_addr
);
38 sys_manager_base_addr
= of_iomap(np
, 0);
40 np
= of_find_compatible_node(NULL
, NULL
, "altr,rst-mgr");
41 rst_manager_base_addr
= of_iomap(np
, 0);
43 np
= of_find_compatible_node(NULL
, NULL
, "altr,sdr-ctl");
44 sdr_ctl_base_addr
= of_iomap(np
, 0);
47 static void __init
socfpga_init_irq(void)
50 socfpga_sysmgr_init();
51 if (IS_ENABLED(CONFIG_EDAC_ALTERA_L2C
))
52 socfpga_init_l2_ecc();
54 if (IS_ENABLED(CONFIG_EDAC_ALTERA_OCRAM
))
55 socfpga_init_ocram_ecc();
59 static void __init
socfpga_arria10_init_irq(void)
62 socfpga_sysmgr_init();
63 if (IS_ENABLED(CONFIG_EDAC_ALTERA_L2C
))
64 socfpga_init_arria10_l2_ecc();
65 if (IS_ENABLED(CONFIG_EDAC_ALTERA_OCRAM
))
66 socfpga_init_arria10_ocram_ecc();
70 static void socfpga_cyclone5_restart(enum reboot_mode mode
, const char *cmd
)
74 temp
= readl(rst_manager_base_addr
+ SOCFPGA_RSTMGR_CTRL
);
76 if (mode
== REBOOT_WARM
)
77 temp
|= RSTMGR_CTRL_SWWARMRSTREQ
;
79 temp
|= RSTMGR_CTRL_SWCOLDRSTREQ
;
80 writel(temp
, rst_manager_base_addr
+ SOCFPGA_RSTMGR_CTRL
);
83 static void socfpga_arria10_restart(enum reboot_mode mode
, const char *cmd
)
87 temp
= readl(rst_manager_base_addr
+ SOCFPGA_A10_RSTMGR_CTRL
);
89 if (mode
== REBOOT_WARM
)
90 temp
|= RSTMGR_CTRL_SWWARMRSTREQ
;
92 temp
|= RSTMGR_CTRL_SWCOLDRSTREQ
;
93 writel(temp
, rst_manager_base_addr
+ SOCFPGA_A10_RSTMGR_CTRL
);
96 static const char *altera_dt_match
[] = {
101 DT_MACHINE_START(SOCFPGA
, "Altera SOCFPGA")
104 .init_irq
= socfpga_init_irq
,
105 .restart
= socfpga_cyclone5_restart
,
106 .dt_compat
= altera_dt_match
,
109 static const char *altera_a10_dt_match
[] = {
110 "altr,socfpga-arria10",
114 DT_MACHINE_START(SOCFPGA_A10
, "Altera SOCFPGA Arria10")
117 .init_irq
= socfpga_arria10_init_irq
,
118 .restart
= socfpga_arria10_restart
,
119 .dt_compat
= altera_a10_dt_match
,