blob: c5e20b52e3b780b98eafc8bc2c77f8573e21f7fd [file] [log] [blame]
Russell Kingceade892010-02-11 21:44:53 +00001/*
2 * Versatile Express V2M Motherboard Support
3 */
4#include <linux/device.h>
5#include <linux/amba/bus.h>
6#include <linux/amba/mmci.h>
7#include <linux/io.h>
Marc Zyngier3695adc2011-09-08 13:15:22 +01008#include <linux/smp.h>
Russell Kingceade892010-02-11 21:44:53 +00009#include <linux/init.h>
Rob Herring0529e3152012-11-05 16:18:28 -060010#include <linux/irqchip.h>
Pawel Moll8deed172012-02-23 13:04:51 +000011#include <linux/of_address.h>
12#include <linux/of_fdt.h>
13#include <linux/of_irq.h>
14#include <linux/of_platform.h>
Russell Kingceade892010-02-11 21:44:53 +000015#include <linux/platform_device.h>
Nick Bowler95c34f82011-01-21 15:51:06 +010016#include <linux/ata_platform.h>
Russell Kingceade892010-02-11 21:44:53 +000017#include <linux/smsc911x.h>
18#include <linux/spinlock.h>
Russell Kingceade892010-02-11 21:44:53 +000019#include <linux/usb/isp1760.h>
Marc Zyngier0f71fd42011-05-18 10:51:51 +010020#include <linux/mtd/physmap.h>
Pawel Mollb2a54ff2012-07-09 11:33:47 +010021#include <linux/regulator/fixed.h>
22#include <linux/regulator/machine.h>
Pawel Moll38669e02012-10-09 12:56:36 +010023#include <linux/vexpress.h>
Pawel Moll6e973d22013-04-18 18:23:22 +010024#include <linux/clk-provider.h>
25#include <linux/clkdev.h>
Russell Kingceade892010-02-11 21:44:53 +000026
Marc Zyngier120f3d62012-03-28 17:13:53 +010027#include <asm/arch_timer.h>
Will Deacon80b5efb2011-02-28 17:01:04 +010028#include <asm/mach-types.h>
Russell Kingceade892010-02-11 21:44:53 +000029#include <asm/sizes.h>
Marc Zyngier120f3d62012-03-28 17:13:53 +010030#include <asm/smp_twd.h>
Will Deacon80b5efb2011-02-28 17:01:04 +010031#include <asm/mach/arch.h>
Russell Kingceade892010-02-11 21:44:53 +000032#include <asm/mach/map.h>
33#include <asm/mach/time.h>
34#include <asm/hardware/arm_timer.h>
Pawel Moll8deed172012-02-23 13:04:51 +000035#include <asm/hardware/cache-l2x0.h>
Russell King58daf182011-01-05 18:09:03 +000036#include <asm/hardware/timer-sp.h>
Russell Kingceade892010-02-11 21:44:53 +000037
Will Deacon80b5efb2011-02-28 17:01:04 +010038#include <mach/ct-ca9x4.h>
Russell Kingceade892010-02-11 21:44:53 +000039#include <mach/motherboard.h>
40
Russell King0af85dd2010-12-15 21:58:50 +000041#include <plat/sched_clock.h>
Marc Zyngier3695adc2011-09-08 13:15:22 +010042#include <plat/platsmp.h>
Russell Kingceade892010-02-11 21:44:53 +000043
44#include "core.h"
45
46#define V2M_PA_CS0 0x40000000
47#define V2M_PA_CS1 0x44000000
48#define V2M_PA_CS2 0x48000000
49#define V2M_PA_CS3 0x4c000000
50#define V2M_PA_CS7 0x10000000
51
52static struct map_desc v2m_io_desc[] __initdata = {
53 {
Pawel Moll98ed4ce2012-01-25 15:37:29 +000054 .virtual = V2M_PERIPH,
Russell Kingceade892010-02-11 21:44:53 +000055 .pfn = __phys_to_pfn(V2M_PA_CS7),
56 .length = SZ_128K,
57 .type = MT_DEVICE,
58 },
59};
60
Pawel Moll98ed4ce2012-01-25 15:37:29 +000061static void __init v2m_sp804_init(void __iomem *base, unsigned int irq)
62{
63 if (WARN_ON(!base || irq == NO_IRQ))
64 return;
Russell Kingceade892010-02-11 21:44:53 +000065
Pawel Moll98ed4ce2012-01-25 15:37:29 +000066 writel(0, base + TIMER_1_BASE + TIMER_CTRL);
67 writel(0, base + TIMER_2_BASE + TIMER_CTRL);
68
69 sp804_clocksource_init(base + TIMER_2_BASE, "v2m-timer1");
70 sp804_clockevents_init(base + TIMER_1_BASE, irq, "v2m-timer0");
71}
72
Russell Kingceade892010-02-11 21:44:53 +000073
Russell Kingceade892010-02-11 21:44:53 +000074static struct resource v2m_pcie_i2c_resource = {
75 .start = V2M_SERIAL_BUS_PCI,
76 .end = V2M_SERIAL_BUS_PCI + SZ_4K - 1,
77 .flags = IORESOURCE_MEM,
78};
79
80static struct platform_device v2m_pcie_i2c_device = {
81 .name = "versatile-i2c",
82 .id = 0,
83 .num_resources = 1,
84 .resource = &v2m_pcie_i2c_resource,
85};
86
87static struct resource v2m_ddc_i2c_resource = {
88 .start = V2M_SERIAL_BUS_DVI,
89 .end = V2M_SERIAL_BUS_DVI + SZ_4K - 1,
90 .flags = IORESOURCE_MEM,
91};
92
93static struct platform_device v2m_ddc_i2c_device = {
94 .name = "versatile-i2c",
95 .id = 1,
96 .num_resources = 1,
97 .resource = &v2m_ddc_i2c_resource,
98};
99
100static struct resource v2m_eth_resources[] = {
101 {
102 .start = V2M_LAN9118,
103 .end = V2M_LAN9118 + SZ_64K - 1,
104 .flags = IORESOURCE_MEM,
105 }, {
106 .start = IRQ_V2M_LAN9118,
107 .end = IRQ_V2M_LAN9118,
108 .flags = IORESOURCE_IRQ,
109 },
110};
111
112static struct smsc911x_platform_config v2m_eth_config = {
113 .flags = SMSC911X_USE_32BIT,
114 .irq_polarity = SMSC911X_IRQ_POLARITY_ACTIVE_HIGH,
115 .irq_type = SMSC911X_IRQ_TYPE_PUSH_PULL,
116 .phy_interface = PHY_INTERFACE_MODE_MII,
117};
118
119static struct platform_device v2m_eth_device = {
120 .name = "smsc911x",
121 .id = -1,
122 .resource = v2m_eth_resources,
123 .num_resources = ARRAY_SIZE(v2m_eth_resources),
124 .dev.platform_data = &v2m_eth_config,
125};
126
Pawel Mollb2a54ff2012-07-09 11:33:47 +0100127static struct regulator_consumer_supply v2m_eth_supplies[] = {
128 REGULATOR_SUPPLY("vddvario", "smsc911x"),
129 REGULATOR_SUPPLY("vdd33a", "smsc911x"),
130};
131
Russell Kingceade892010-02-11 21:44:53 +0000132static struct resource v2m_usb_resources[] = {
133 {
134 .start = V2M_ISP1761,
135 .end = V2M_ISP1761 + SZ_128K - 1,
136 .flags = IORESOURCE_MEM,
137 }, {
138 .start = IRQ_V2M_ISP1761,
139 .end = IRQ_V2M_ISP1761,
140 .flags = IORESOURCE_IRQ,
141 },
142};
143
144static struct isp1760_platform_data v2m_usb_config = {
145 .is_isp1761 = true,
146 .bus_width_16 = false,
147 .port1_otg = true,
148 .analog_oc = false,
149 .dack_polarity_high = false,
150 .dreq_polarity_high = false,
151};
152
153static struct platform_device v2m_usb_device = {
154 .name = "isp1760",
155 .id = -1,
156 .resource = v2m_usb_resources,
157 .num_resources = ARRAY_SIZE(v2m_usb_resources),
158 .dev.platform_data = &v2m_usb_config,
159};
160
Marc Zyngier0f71fd42011-05-18 10:51:51 +0100161static struct physmap_flash_data v2m_flash_data = {
Russell Kingceade892010-02-11 21:44:53 +0000162 .width = 4,
Russell Kingceade892010-02-11 21:44:53 +0000163};
164
165static struct resource v2m_flash_resources[] = {
166 {
167 .start = V2M_NOR0,
168 .end = V2M_NOR0 + SZ_64M - 1,
169 .flags = IORESOURCE_MEM,
170 }, {
171 .start = V2M_NOR1,
172 .end = V2M_NOR1 + SZ_64M - 1,
173 .flags = IORESOURCE_MEM,
174 },
175};
176
177static struct platform_device v2m_flash_device = {
Marc Zyngier0f71fd42011-05-18 10:51:51 +0100178 .name = "physmap-flash",
Russell Kingceade892010-02-11 21:44:53 +0000179 .id = -1,
180 .resource = v2m_flash_resources,
181 .num_resources = ARRAY_SIZE(v2m_flash_resources),
182 .dev.platform_data = &v2m_flash_data,
183};
184
Nick Bowler95c34f82011-01-21 15:51:06 +0100185static struct pata_platform_info v2m_pata_data = {
186 .ioport_shift = 2,
187};
188
189static struct resource v2m_pata_resources[] = {
190 {
191 .start = V2M_CF,
192 .end = V2M_CF + 0xff,
193 .flags = IORESOURCE_MEM,
194 }, {
195 .start = V2M_CF + 0x100,
196 .end = V2M_CF + SZ_4K - 1,
197 .flags = IORESOURCE_MEM,
198 },
199};
200
201static struct platform_device v2m_cf_device = {
202 .name = "pata_platform",
203 .id = -1,
204 .resource = v2m_pata_resources,
205 .num_resources = ARRAY_SIZE(v2m_pata_resources),
206 .dev.platform_data = &v2m_pata_data,
207};
Russell Kingceade892010-02-11 21:44:53 +0000208
Russell Kingceade892010-02-11 21:44:53 +0000209static struct mmci_platform_data v2m_mmci_data = {
210 .ocr_mask = MMC_VDD_32_33|MMC_VDD_33_34,
Pawel Moll38669e02012-10-09 12:56:36 +0100211 .gpio_wp = VEXPRESS_GPIO_MMC_WPROT,
212 .gpio_cd = VEXPRESS_GPIO_MMC_CARDIN,
213};
214
215static struct resource v2m_sysreg_resources[] = {
216 {
217 .start = V2M_SYSREGS,
218 .end = V2M_SYSREGS + 0xfff,
219 .flags = IORESOURCE_MEM,
220 },
221};
222
223static struct platform_device v2m_sysreg_device = {
224 .name = "vexpress-sysreg",
225 .id = -1,
226 .resource = v2m_sysreg_resources,
227 .num_resources = ARRAY_SIZE(v2m_sysreg_resources),
228};
229
230static struct platform_device v2m_muxfpga_device = {
231 .name = "vexpress-muxfpga",
232 .id = 0,
233 .num_resources = 1,
234 .resource = (struct resource []) {
235 VEXPRESS_RES_FUNC(0, 7),
236 }
237};
238
239static struct platform_device v2m_shutdown_device = {
240 .name = "vexpress-shutdown",
241 .id = 0,
242 .num_resources = 1,
243 .resource = (struct resource []) {
244 VEXPRESS_RES_FUNC(0, 8),
245 }
246};
247
248static struct platform_device v2m_reboot_device = {
249 .name = "vexpress-reboot",
250 .id = 0,
251 .num_resources = 1,
252 .resource = (struct resource []) {
253 VEXPRESS_RES_FUNC(0, 9),
254 }
255};
256
257static struct platform_device v2m_dvimode_device = {
258 .name = "vexpress-dvimode",
259 .id = 0,
260 .num_resources = 1,
261 .resource = (struct resource []) {
262 VEXPRESS_RES_FUNC(0, 11),
263 }
Russell Kingceade892010-02-11 21:44:53 +0000264};
265
Russell Kingcdd4e1a2011-12-18 12:07:09 +0000266static AMBA_APB_DEVICE(aaci, "mb:aaci", 0, V2M_AACI, IRQ_V2M_AACI, NULL);
267static AMBA_APB_DEVICE(mmci, "mb:mmci", 0, V2M_MMCI, IRQ_V2M_MMCI, &v2m_mmci_data);
268static AMBA_APB_DEVICE(kmi0, "mb:kmi0", 0, V2M_KMI0, IRQ_V2M_KMI0, NULL);
269static AMBA_APB_DEVICE(kmi1, "mb:kmi1", 0, V2M_KMI1, IRQ_V2M_KMI1, NULL);
270static AMBA_APB_DEVICE(uart0, "mb:uart0", 0, V2M_UART0, IRQ_V2M_UART0, NULL);
271static AMBA_APB_DEVICE(uart1, "mb:uart1", 0, V2M_UART1, IRQ_V2M_UART1, NULL);
272static AMBA_APB_DEVICE(uart2, "mb:uart2", 0, V2M_UART2, IRQ_V2M_UART2, NULL);
273static AMBA_APB_DEVICE(uart3, "mb:uart3", 0, V2M_UART3, IRQ_V2M_UART3, NULL);
274static AMBA_APB_DEVICE(wdt, "mb:wdt", 0, V2M_WDT, IRQ_V2M_WDT, NULL);
275static AMBA_APB_DEVICE(rtc, "mb:rtc", 0, V2M_RTC, IRQ_V2M_RTC, NULL);
Russell Kingceade892010-02-11 21:44:53 +0000276
277static struct amba_device *v2m_amba_devs[] __initdata = {
278 &aaci_device,
279 &mmci_device,
280 &kmi0_device,
281 &kmi1_device,
282 &uart0_device,
283 &uart1_device,
284 &uart2_device,
285 &uart3_device,
286 &wdt_device,
287 &rtc_device,
288};
289
Pawel Molld1b8a772012-07-13 11:48:16 +0100290static void __init v2m_timer_init(void)
291{
Pawel Moll38669e02012-10-09 12:56:36 +0100292 vexpress_clk_init(ioremap(V2M_SYSCTL, SZ_4K));
Pawel Molld1b8a772012-07-13 11:48:16 +0100293 v2m_sp804_init(ioremap(V2M_TIMER01, SZ_4K), IRQ_V2M_TIMER0);
294}
295
Rob Herring2fdf9992011-05-30 19:44:22 +0100296static void __init v2m_init_early(void)
297{
Pawel Molld1b8a772012-07-13 11:48:16 +0100298 if (ct_desc->init_early)
299 ct_desc->init_early();
Pawel Moll38669e02012-10-09 12:56:36 +0100300 versatile_sched_clock_init(vexpress_get_24mhz_clock_base(), 24000000);
Russell Kingceade892010-02-11 21:44:53 +0000301}
302
Will Deacon80b5efb2011-02-28 17:01:04 +0100303struct ct_desc *ct_desc;
304
305static struct ct_desc *ct_descs[] __initdata = {
306#ifdef CONFIG_ARCH_VEXPRESS_CA9X4
307 &ct_ca9x4_desc,
308#endif
309};
310
311static void __init v2m_populate_ct_desc(void)
312{
313 int i;
314 u32 current_tile_id;
315
316 ct_desc = NULL;
Pawel Moll38669e02012-10-09 12:56:36 +0100317 current_tile_id = vexpress_get_procid(VEXPRESS_SITE_MASTER)
Pawel Moll98ed4ce2012-01-25 15:37:29 +0000318 & V2M_CT_ID_MASK;
Will Deacon80b5efb2011-02-28 17:01:04 +0100319
320 for (i = 0; i < ARRAY_SIZE(ct_descs) && !ct_desc; ++i)
321 if (ct_descs[i]->id == current_tile_id)
322 ct_desc = ct_descs[i];
323
324 if (!ct_desc)
Pawel Moll8deed172012-02-23 13:04:51 +0000325 panic("vexpress: this kernel does not support core tile ID 0x%08x when booting via ATAGs.\n"
326 "You may need a device tree blob or a different kernel to boot on this board.\n",
327 current_tile_id);
Will Deacon80b5efb2011-02-28 17:01:04 +0100328}
329
330static void __init v2m_map_io(void)
331{
332 iotable_init(v2m_io_desc, ARRAY_SIZE(v2m_io_desc));
Pawel Moll38669e02012-10-09 12:56:36 +0100333 vexpress_sysreg_early_init(ioremap(V2M_SYSREGS, SZ_4K));
Will Deacon80b5efb2011-02-28 17:01:04 +0100334 v2m_populate_ct_desc();
335 ct_desc->map_io();
336}
337
338static void __init v2m_init_irq(void)
339{
340 ct_desc->init_irq();
341}
342
343static void __init v2m_init(void)
Russell Kingceade892010-02-11 21:44:53 +0000344{
345 int i;
346
Pawel Mollb2a54ff2012-07-09 11:33:47 +0100347 regulator_register_fixed(0, v2m_eth_supplies,
348 ARRAY_SIZE(v2m_eth_supplies));
349
Pawel Moll38669e02012-10-09 12:56:36 +0100350 platform_device_register(&v2m_muxfpga_device);
351 platform_device_register(&v2m_shutdown_device);
352 platform_device_register(&v2m_reboot_device);
353 platform_device_register(&v2m_dvimode_device);
354
355 platform_device_register(&v2m_sysreg_device);
Russell Kingceade892010-02-11 21:44:53 +0000356 platform_device_register(&v2m_pcie_i2c_device);
357 platform_device_register(&v2m_ddc_i2c_device);
358 platform_device_register(&v2m_flash_device);
Nick Bowler95c34f82011-01-21 15:51:06 +0100359 platform_device_register(&v2m_cf_device);
Russell Kingceade892010-02-11 21:44:53 +0000360 platform_device_register(&v2m_eth_device);
361 platform_device_register(&v2m_usb_device);
362
363 for (i = 0; i < ARRAY_SIZE(v2m_amba_devs); i++)
364 amba_device_register(v2m_amba_devs[i], &iomem_resource);
365
Pawel Moll38669e02012-10-09 12:56:36 +0100366 pm_power_off = vexpress_power_off;
Russell Kingceade892010-02-11 21:44:53 +0000367
Will Deacon80b5efb2011-02-28 17:01:04 +0100368 ct_desc->init_tile();
Russell Kingceade892010-02-11 21:44:53 +0000369}
Will Deacon80b5efb2011-02-28 17:01:04 +0100370
371MACHINE_START(VEXPRESS, "ARM-Versatile Express")
Nicolas Pitree9ce8e52011-07-05 22:38:18 -0400372 .atag_offset = 0x100,
Marc Zyngier3695adc2011-09-08 13:15:22 +0100373 .smp = smp_ops(vexpress_smp_ops),
Will Deacon80b5efb2011-02-28 17:01:04 +0100374 .map_io = v2m_map_io,
375 .init_early = v2m_init_early,
376 .init_irq = v2m_init_irq,
Stephen Warren6bb27d72012-11-08 12:40:59 -0700377 .init_time = v2m_timer_init,
Will Deacon80b5efb2011-02-28 17:01:04 +0100378 .init_machine = v2m_init,
Pawel Moll38669e02012-10-09 12:56:36 +0100379 .restart = vexpress_restart,
Will Deacon80b5efb2011-02-28 17:01:04 +0100380MACHINE_END
Pawel Moll8deed172012-02-23 13:04:51 +0000381
Pawel Moll6a371952011-12-09 18:47:39 +0000382static struct map_desc v2m_rs1_io_desc __initdata = {
383 .virtual = V2M_PERIPH,
384 .pfn = __phys_to_pfn(0x1c000000),
385 .length = SZ_2M,
386 .type = MT_DEVICE,
387};
388
389static int __init v2m_dt_scan_memory_map(unsigned long node, const char *uname,
390 int depth, void *data)
391{
392 const char **map = data;
393
394 if (strcmp(uname, "motherboard") != 0)
395 return 0;
396
397 *map = of_get_flat_dt_prop(node, "arm,v2m-memory-map", NULL);
398
399 return 1;
400}
401
Pawel Moll8deed172012-02-23 13:04:51 +0000402void __init v2m_dt_map_io(void)
403{
Pawel Moll6a371952011-12-09 18:47:39 +0000404 const char *map = NULL;
405
406 of_scan_flat_dt(v2m_dt_scan_memory_map, &map);
407
408 if (map && strcmp(map, "rs1") == 0)
409 iotable_init(&v2m_rs1_io_desc, 1);
410 else
411 iotable_init(v2m_io_desc, ARRAY_SIZE(v2m_io_desc));
Pawel Moll8deed172012-02-23 13:04:51 +0000412
413#if defined(CONFIG_SMP)
414 vexpress_dt_smp_map_io();
415#endif
416}
417
Pawel Moll8deed172012-02-23 13:04:51 +0000418void __init v2m_dt_init_early(void)
419{
Pawel Moll8deed172012-02-23 13:04:51 +0000420 u32 dt_hbi;
421
Pawel Moll38669e02012-10-09 12:56:36 +0100422 vexpress_sysreg_of_early_init();
Pawel Moll8deed172012-02-23 13:04:51 +0000423
424 /* Confirm board type against DT property, if available */
Randy Dunlap465aac62012-11-30 10:01:51 +0000425 if (of_property_read_u32(of_allnodes, "arm,hbi", &dt_hbi) == 0) {
Pawel Moll38669e02012-10-09 12:56:36 +0100426 u32 hbi = vexpress_get_hbi(VEXPRESS_SITE_MASTER);
Pawel Moll8deed172012-02-23 13:04:51 +0000427
428 if (WARN_ON(dt_hbi != hbi))
429 pr_warning("vexpress: DT HBI (%x) is not matching "
430 "hardware (%x)!\n", dt_hbi, hbi);
431 }
Pawel Moll8deed172012-02-23 13:04:51 +0000432}
433
Pawel Moll8deed172012-02-23 13:04:51 +0000434static void __init v2m_dt_timer_init(void)
435{
Pawel Moll433683a2012-10-16 15:27:12 +0100436 struct device_node *node = NULL;
Pawel Moll8deed172012-02-23 13:04:51 +0000437
Pawel Moll6e973d22013-04-18 18:23:22 +0100438 of_clk_init(NULL);
Pawel Moll8deed172012-02-23 13:04:51 +0000439
Pawel Moll433683a2012-10-16 15:27:12 +0100440 do {
441 node = of_find_compatible_node(node, NULL, "arm,sp804");
442 } while (node && vexpress_get_site_by_node(node) != VEXPRESS_SITE_MB);
443 if (node) {
444 pr_info("Using SP804 '%s' as a clock & events source\n",
445 node->full_name);
Pawel Moll6e973d22013-04-18 18:23:22 +0100446 WARN_ON(clk_register_clkdev(of_clk_get_by_name(node,
447 "timclken1"), "v2m-timer0", "sp804"));
448 WARN_ON(clk_register_clkdev(of_clk_get_by_name(node,
449 "timclken2"), "v2m-timer1", "sp804"));
Pawel Moll433683a2012-10-16 15:27:12 +0100450 v2m_sp804_init(of_iomap(node, 0),
451 irq_of_parse_and_map(node, 0));
452 }
Pawel Molld1b8a772012-07-13 11:48:16 +0100453
Marc Zyngier120f3d62012-03-28 17:13:53 +0100454 if (arch_timer_of_register() != 0)
455 twd_local_timer_of_register();
456
457 if (arch_timer_sched_clock_init() != 0)
Pawel Moll38669e02012-10-09 12:56:36 +0100458 versatile_sched_clock_init(vexpress_get_24mhz_clock_base(),
459 24000000);
Pawel Moll8deed172012-02-23 13:04:51 +0000460}
461
Pawel Moll38669e02012-10-09 12:56:36 +0100462static const struct of_device_id v2m_dt_bus_match[] __initconst = {
463 { .compatible = "simple-bus", },
464 { .compatible = "arm,amba-bus", },
465 { .compatible = "arm,vexpress,config-bus", },
Pawel Moll8deed172012-02-23 13:04:51 +0000466 {}
467};
468
469static void __init v2m_dt_init(void)
470{
471 l2x0_of_init(0x00400000, 0xfe0fffff);
Pawel Moll38669e02012-10-09 12:56:36 +0100472 of_platform_populate(NULL, v2m_dt_bus_match, NULL, NULL);
473 pm_power_off = vexpress_power_off;
Pawel Moll8deed172012-02-23 13:04:51 +0000474}
475
Pawel Moll38669e02012-10-09 12:56:36 +0100476static const char * const v2m_dt_match[] __initconst = {
Pawel Moll8deed172012-02-23 13:04:51 +0000477 "arm,vexpress",
Stefano Stabellinibbd6eb22012-09-24 16:40:52 +0000478 "xen,xenvm",
Pawel Moll8deed172012-02-23 13:04:51 +0000479 NULL,
480};
481
482DT_MACHINE_START(VEXPRESS_DT, "ARM-Versatile Express")
483 .dt_compat = v2m_dt_match,
Marc Zyngier3695adc2011-09-08 13:15:22 +0100484 .smp = smp_ops(vexpress_smp_ops),
Pawel Moll8deed172012-02-23 13:04:51 +0000485 .map_io = v2m_dt_map_io,
486 .init_early = v2m_dt_init_early,
Rob Herring0529e3152012-11-05 16:18:28 -0600487 .init_irq = irqchip_init,
Stephen Warren6bb27d72012-11-08 12:40:59 -0700488 .init_time = v2m_dt_timer_init,
Pawel Moll8deed172012-02-23 13:04:51 +0000489 .init_machine = v2m_dt_init,
Pawel Moll38669e02012-10-09 12:56:36 +0100490 .restart = vexpress_restart,
Pawel Moll8deed172012-02-23 13:04:51 +0000491MACHINE_END