2 * Copyright (C) 2012-2015 Altera Corporation
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program. If not, see <http://www.gnu.org/licenses/>.
17 #include <linux/irqchip.h>
18 #include <linux/of_address.h>
19 #include <linux/of_irq.h>
20 #include <linux/of_platform.h>
21 #include <linux/reboot.h>
23 #include <asm/hardware/cache-l2x0.h>
24 #include <asm/mach/arch.h>
25 #include <asm/mach/map.h>
26 #include <asm/cacheflush.h>
30 void __iomem
*sys_manager_base_addr
;
31 void __iomem
*rst_manager_base_addr
;
32 void __iomem
*sdr_ctl_base_addr
;
33 unsigned long socfpga_cpu1start_addr
;
35 void __init
socfpga_sysmgr_init(void)
37 struct device_node
*np
;
39 np
= of_find_compatible_node(NULL
, NULL
, "altr,sys-mgr");
41 if (of_property_read_u32(np
, "cpu1-start-addr",
42 (u32
*) &socfpga_cpu1start_addr
))
43 pr_err("SMP: Need cpu1-start-addr in device tree.\n");
45 /* Ensure that socfpga_cpu1start_addr is visible to other CPUs */
47 sync_cache_w(&socfpga_cpu1start_addr
);
49 sys_manager_base_addr
= of_iomap(np
, 0);
51 np
= of_find_compatible_node(NULL
, NULL
, "altr,rst-mgr");
52 rst_manager_base_addr
= of_iomap(np
, 0);
54 np
= of_find_compatible_node(NULL
, NULL
, "altr,sdr-ctl");
55 sdr_ctl_base_addr
= of_iomap(np
, 0);
58 static void __init
socfpga_init_irq(void)
61 socfpga_sysmgr_init();
64 static void socfpga_cyclone5_restart(enum reboot_mode mode
, const char *cmd
)
68 temp
= readl(rst_manager_base_addr
+ SOCFPGA_RSTMGR_CTRL
);
70 if (mode
== REBOOT_HARD
)
71 temp
|= RSTMGR_CTRL_SWCOLDRSTREQ
;
73 temp
|= RSTMGR_CTRL_SWWARMRSTREQ
;
74 writel(temp
, rst_manager_base_addr
+ SOCFPGA_RSTMGR_CTRL
);
77 static void socfpga_arria10_restart(enum reboot_mode mode
, const char *cmd
)
81 temp
= readl(rst_manager_base_addr
+ SOCFPGA_A10_RSTMGR_CTRL
);
83 if (mode
== REBOOT_HARD
)
84 temp
|= RSTMGR_CTRL_SWCOLDRSTREQ
;
86 temp
|= RSTMGR_CTRL_SWWARMRSTREQ
;
87 writel(temp
, rst_manager_base_addr
+ SOCFPGA_A10_RSTMGR_CTRL
);
90 static const char *altera_dt_match
[] = {
95 DT_MACHINE_START(SOCFPGA
, "Altera SOCFPGA")
98 .init_irq
= socfpga_init_irq
,
99 .restart
= socfpga_cyclone5_restart
,
100 .dt_compat
= altera_dt_match
,
103 static const char *altera_a10_dt_match
[] = {
104 "altr,socfpga-arria10",
108 DT_MACHINE_START(SOCFPGA_A10
, "Altera SOCFPGA Arria10")
111 .init_irq
= socfpga_init_irq
,
112 .restart
= socfpga_arria10_restart
,
113 .dt_compat
= altera_a10_dt_match
,