2 * Copyright (C) ST-Ericsson SA 2010
4 * Author: Rabin Vincent <rabin.vincent@stericsson.com> for ST-Ericsson
5 * Author: Lee Jones <lee.jones@linaro.org> for ST-Ericsson
6 * License terms: GNU General Public License (GPL) version 2
9 #include <linux/platform_device.h>
11 #include <linux/mfd/dbx500-prcmu.h>
12 #include <linux/clksrc-dbx500-prcmu.h>
13 #include <linux/sys_soc.h>
14 #include <linux/err.h>
15 #include <linux/slab.h>
16 #include <linux/stat.h>
18 #include <linux/of_irq.h>
19 #include <linux/irq.h>
20 #include <linux/irqchip.h>
21 #include <linux/irqchip/arm-gic.h>
22 #include <linux/platform_data/clk-ux500.h>
23 #include <linux/platform_data/arm-ux500-pm.h>
25 #include <asm/mach/map.h>
29 #include "board-mop500.h"
30 #include "db8500-regs.h"
33 void ux500_restart(enum reboot_mode mode, const char *cmd)
38 prcmu_system_reset(0);
42 * FIXME: Should we set up the GPIO domain here?
44 * The problem is that we cannot put the interrupt resources into the platform
45 * device until the irqdomain has been added. Right now, we set the GIC interrupt
46 * domain from init_irq(), then load the gpio driver from
47 * core_initcall(nmk_gpio_init) and add the platform devices from
48 * arch_initcall(customize_machine).
50 * This feels fragile because it depends on the gpio device getting probed
51 * _before_ any device uses the gpio interrupts.
53 void __init ux500_init_irq(void)
55 gic_arch_extn.flags = IRQCHIP_SKIP_SET_WAKE | IRQCHIP_MASK_ON_SUSPEND;
59 * Init clocks here so that they are available for system timer
62 if (cpu_is_u8500_family()) {
63 prcmu_early_init(U8500_PRCMU_BASE, SZ_8K - 1);
64 ux500_pm_init(U8500_PRCMU_BASE, SZ_8K - 1);
66 u8500_of_clk_init(U8500_CLKRST1_BASE,
71 } else if (cpu_is_u9540()) {
72 prcmu_early_init(U8500_PRCMU_BASE, SZ_8K - 1);
73 ux500_pm_init(U8500_PRCMU_BASE, SZ_8K - 1);
74 u9540_clk_init(U8500_CLKRST1_BASE, U8500_CLKRST2_BASE,
75 U8500_CLKRST3_BASE, U8500_CLKRST5_BASE,
77 } else if (cpu_is_u8540()) {
78 prcmu_early_init(U8500_PRCMU_BASE, SZ_8K + SZ_4K - 1);
79 ux500_pm_init(U8500_PRCMU_BASE, SZ_8K + SZ_4K - 1);
80 u8540_clk_init(U8500_CLKRST1_BASE, U8500_CLKRST2_BASE,
81 U8500_CLKRST3_BASE, U8500_CLKRST5_BASE,
86 static const char * __init ux500_get_machine(void)
88 return kasprintf(GFP_KERNEL, "DB%4x", dbx500_partnumber());
91 static const char * __init ux500_get_family(void)
93 return kasprintf(GFP_KERNEL, "ux500");
96 static const char * __init ux500_get_revision(void)
98 unsigned int rev = dbx500_revision();
101 return kasprintf(GFP_KERNEL, "%s", "ED");
102 else if (rev >= 0xA0)
103 return kasprintf(GFP_KERNEL, "%d.%d",
104 (rev >> 4) - 0xA + 1, rev & 0xf);
106 return kasprintf(GFP_KERNEL, "%s", "Unknown");
109 static ssize_t ux500_get_process(struct device *dev,
110 struct device_attribute *attr,
113 if (dbx500_id.process == 0x00)
114 return sprintf(buf, "Standard\n");
116 return sprintf(buf, "%02xnm\n", dbx500_id.process);
119 static void __init soc_info_populate(struct soc_device_attribute *soc_dev_attr,
122 soc_dev_attr->soc_id = soc_id;
123 soc_dev_attr->machine = ux500_get_machine();
124 soc_dev_attr->family = ux500_get_family();
125 soc_dev_attr->revision = ux500_get_revision();
128 static const struct device_attribute ux500_soc_attr =
129 __ATTR(process, S_IRUGO, ux500_get_process, NULL);
131 struct device * __init ux500_soc_device_init(const char *soc_id)
133 struct device *parent;
134 struct soc_device *soc_dev;
135 struct soc_device_attribute *soc_dev_attr;
137 soc_dev_attr = kzalloc(sizeof(*soc_dev_attr), GFP_KERNEL);
139 return ERR_PTR(-ENOMEM);
141 soc_info_populate(soc_dev_attr, soc_id);
143 soc_dev = soc_device_register(soc_dev_attr);
144 if (IS_ERR(soc_dev)) {
149 parent = soc_device_to_device(soc_dev);
150 device_create_file(parent, &ux500_soc_attr);