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,