1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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>
22
23#include <asm/hardware/cache-l2x0.h>
24#include <asm/mach/arch.h>
25#include <asm/mach/map.h>
26#include <asm/cacheflush.h>
27
28#include "core.h"
29
30void __iomem *sys_manager_base_addr;
31void __iomem *rst_manager_base_addr;
32void __iomem *sdr_ctl_base_addr;
33unsigned long socfpga_cpu1start_addr;
34
35void __init socfpga_sysmgr_init(void)
36{
37 struct device_node *np;
38
39 np = of_find_compatible_node(NULL, NULL, "altr,sys-mgr");
40
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");
44
45
46 smp_wmb();
47 sync_cache_w(&socfpga_cpu1start_addr);
48
49 sys_manager_base_addr = of_iomap(np, 0);
50
51 np = of_find_compatible_node(NULL, NULL, "altr,rst-mgr");
52 rst_manager_base_addr = of_iomap(np, 0);
53
54 np = of_find_compatible_node(NULL, NULL, "altr,sdr-ctl");
55 sdr_ctl_base_addr = of_iomap(np, 0);
56}
57
58static void __init socfpga_init_irq(void)
59{
60 irqchip_init();
61 socfpga_sysmgr_init();
62}
63
64static void socfpga_cyclone5_restart(enum reboot_mode mode, const char *cmd)
65{
66 u32 temp;
67
68 temp = readl(rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);
69
70 if (mode == REBOOT_HARD)
71 temp |= RSTMGR_CTRL_SWCOLDRSTREQ;
72 else
73 temp |= RSTMGR_CTRL_SWWARMRSTREQ;
74 writel(temp, rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);
75}
76
77static const char *altera_dt_match[] = {
78 "altr,socfpga",
79 NULL
80};
81
82DT_MACHINE_START(SOCFPGA, "Altera SOCFPGA")
83 .l2c_aux_val = 0,
84 .l2c_aux_mask = ~0,
85 .init_irq = socfpga_init_irq,
86 .restart = socfpga_cyclone5_restart,
87 .dt_compat = altera_dt_match,
88MACHINE_END
89