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/of_address.h>
20 #include <linux/irq.h>
21 #include <linux/irqchip.h>
22 #include <linux/irqchip/arm-gic.h>
23 #include <linux/platform_data/clk-ux500.h>
24 #include <linux/platform_data/arm-ux500-pm.h>
26 #include <asm/mach/map.h>
30 #include "board-mop500.h"
31 #include "db8500-regs.h"
34 void ux500_restart(enum reboot_mode mode
, const char *cmd
)
39 prcmu_system_reset(0);
43 * FIXME: Should we set up the GPIO domain here?
45 * The problem is that we cannot put the interrupt resources into the platform
46 * device until the irqdomain has been added. Right now, we set the GIC interrupt
47 * domain from init_irq(), then load the gpio driver from
48 * core_initcall(nmk_gpio_init) and add the platform devices from
49 * arch_initcall(customize_machine).
51 * This feels fragile because it depends on the gpio device getting probed
52 * _before_ any device uses the gpio interrupts.
54 void __init
ux500_init_irq(void)
56 struct device_node
*np
;
60 np
= of_find_compatible_node(NULL
, NULL
, "stericsson,db8500-prcmu");
61 of_address_to_resource(np
, 0, &r
);
64 pr_err("could not find PRCMU base resource\n");
67 prcmu_early_init(r
.start
, r
.end
-r
.start
);
68 ux500_pm_init(r
.start
, r
.end
-r
.start
);
71 * Init clocks here so that they are available for system timer
74 if (cpu_is_u8500_family())
76 else if (cpu_is_u9540())
78 else if (cpu_is_u8540())
82 static const char * __init
ux500_get_machine(void)
84 return kasprintf(GFP_KERNEL
, "DB%4x", dbx500_partnumber());
87 static const char * __init
ux500_get_family(void)
89 return kasprintf(GFP_KERNEL
, "ux500");
92 static const char * __init
ux500_get_revision(void)
94 unsigned int rev
= dbx500_revision();
97 return kasprintf(GFP_KERNEL
, "%s", "ED");
99 return kasprintf(GFP_KERNEL
, "%d.%d",
100 (rev
>> 4) - 0xA + 1, rev
& 0xf);
102 return kasprintf(GFP_KERNEL
, "%s", "Unknown");
105 static ssize_t
ux500_get_process(struct device
*dev
,
106 struct device_attribute
*attr
,
109 if (dbx500_id
.process
== 0x00)
110 return sprintf(buf
, "Standard\n");
112 return sprintf(buf
, "%02xnm\n", dbx500_id
.process
);
115 static void __init
soc_info_populate(struct soc_device_attribute
*soc_dev_attr
,
118 soc_dev_attr
->soc_id
= soc_id
;
119 soc_dev_attr
->machine
= ux500_get_machine();
120 soc_dev_attr
->family
= ux500_get_family();
121 soc_dev_attr
->revision
= ux500_get_revision();
124 static const struct device_attribute ux500_soc_attr
=
125 __ATTR(process
, S_IRUGO
, ux500_get_process
, NULL
);
127 struct device
* __init
ux500_soc_device_init(const char *soc_id
)
129 struct device
*parent
;
130 struct soc_device
*soc_dev
;
131 struct soc_device_attribute
*soc_dev_attr
;
133 soc_dev_attr
= kzalloc(sizeof(*soc_dev_attr
), GFP_KERNEL
);
135 return ERR_PTR(-ENOMEM
);
137 soc_info_populate(soc_dev_attr
, soc_id
);
139 soc_dev
= soc_device_register(soc_dev_attr
);
140 if (IS_ERR(soc_dev
)) {
145 parent
= soc_device_to_device(soc_dev
);
146 device_create_file(parent
, &ux500_soc_attr
);