blob: 011661a6c5cb6dd769c46e3efc50f409ee9e587c [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>
Pawel Moll8deed172012-02-23 13:04:51 +000010#include <linux/of_address.h>
11#include <linux/of_fdt.h>
12#include <linux/of_irq.h>
13#include <linux/of_platform.h>
Russell Kingceade892010-02-11 21:44:53 +000014#include <linux/platform_device.h>
Nick Bowler95c34f82011-01-21 15:51:06 +010015#include <linux/ata_platform.h>
Russell Kingceade892010-02-11 21:44:53 +000016#include <linux/smsc911x.h>
17#include <linux/spinlock.h>
Russell Kingceade892010-02-11 21:44:53 +000018#include <linux/usb/isp1760.h>
Marc Zyngier0f71fd42011-05-18 10:51:51 +010019#include <linux/mtd/physmap.h>
Pawel Mollb2a54ff2012-07-09 11:33:47 +010020#include <linux/regulator/fixed.h>
21#include <linux/regulator/machine.h>
Pawel Moll38669e02012-10-09 12:56:36 +010022#include <linux/vexpress.h>
Russell Kingceade892010-02-11 21:44:53 +000023
Marc Zyngier120f3d62012-03-28 17:13:53 +010024#include <asm/arch_timer.h>
Will Deacon80b5efbd2011-02-28 17:01:04 +010025#include <asm/mach-types.h>
Russell Kingceade892010-02-11 21:44:53 +000026#include <asm/sizes.h>
Marc Zyngier120f3d62012-03-28 17:13:53 +010027#include <asm/smp_twd.h>
Will Deacon80b5efbd2011-02-28 17:01:04 +010028#include <asm/mach/arch.h>
Russell Kingceade892010-02-11 21:44:53 +000029#include <asm/mach/map.h>
30#include <asm/mach/time.h>
31#include <asm/hardware/arm_timer.h>
Pawel Moll8deed172012-02-23 13:04:51 +000032#include <asm/hardware/cache-l2x0.h>
33#include <asm/hardware/gic.h>
Russell King58daf182011-01-05 18:09:03 +000034#include <asm/hardware/timer-sp.h>
Russell Kingceade892010-02-11 21:44:53 +000035
Will Deacon80b5efbd2011-02-28 17:01:04 +010036#include <mach/ct-ca9x4.h>
Russell Kingceade892010-02-11 21:44:53 +000037#include <mach/motherboard.h>
38
Russell King0af85dd2010-12-15 21:58:50 +000039#include <plat/sched_clock.h>
Marc Zyngier3695adc2011-09-08 13:15:22 +010040#include <plat/platsmp.h>
Russell Kingceade892010-02-11 21:44:53 +000041
42#include "core.h"
43
44#define V2M_PA_CS0 0x40000000
45#define V2M_PA_CS1 0x44000000
46#define V2M_PA_CS2 0x48000000
47#define V2M_PA_CS3 0x4c000000
48#define V2M_PA_CS7 0x10000000
49
50static struct map_desc v2m_io_desc[] __initdata = {
51 {
Pawel Moll98ed4ce2012-01-25 15:37:29 +000052 .virtual = V2M_PERIPH,
Russell Kingceade892010-02-11 21:44:53 +000053 .pfn = __phys_to_pfn(V2M_PA_CS7),
54 .length = SZ_128K,
55 .type = MT_DEVICE,
56 },
57};
58
Pawel Moll98ed4ce2012-01-25 15:37:29 +000059static void __init v2m_sp804_init(void __iomem *base, unsigned int irq)
60{
61 if (WARN_ON(!base || irq == NO_IRQ))
62 return;
Russell Kingceade892010-02-11 21:44:53 +000063
Pawel Moll98ed4ce2012-01-25 15:37:29 +000064 writel(0, base + TIMER_1_BASE + TIMER_CTRL);
65 writel(0, base + TIMER_2_BASE + TIMER_CTRL);
66
67 sp804_clocksource_init(base + TIMER_2_BASE, "v2m-timer1");
68 sp804_clockevents_init(base + TIMER_1_BASE, irq, "v2m-timer0");
69}
70
Russell Kingceade892010-02-11 21:44:53 +000071
Russell Kingceade892010-02-11 21:44:53 +000072static struct resource v2m_pcie_i2c_resource = {
73 .start = V2M_SERIAL_BUS_PCI,
74 .end = V2M_SERIAL_BUS_PCI + SZ_4K - 1,
75 .flags = IORESOURCE_MEM,
76};
77
78static struct platform_device v2m_pcie_i2c_device = {
79 .name = "versatile-i2c",
80 .id = 0,
81 .num_resources = 1,
82 .resource = &v2m_pcie_i2c_resource,
83};
84
85static struct resource v2m_ddc_i2c_resource = {
86 .start = V2M_SERIAL_BUS_DVI,
87 .end = V2M_SERIAL_BUS_DVI + SZ_4K - 1,
88 .flags = IORESOURCE_MEM,
89};
90
91static struct platform_device v2m_ddc_i2c_device = {
92 .name = "versatile-i2c",
93 .id = 1,
94 .num_resources = 1,
95 .resource = &v2m_ddc_i2c_resource,
96};
97
98static struct resource v2m_eth_resources[] = {
99 {
100 .start = V2M_LAN9118,
101 .end = V2M_LAN9118 + SZ_64K - 1,
102 .flags = IORESOURCE_MEM,
103 }, {
104 .start = IRQ_V2M_LAN9118,
105 .end = IRQ_V2M_LAN9118,
106 .flags = IORESOURCE_IRQ,
107 },
108};
109
110static struct smsc911x_platform_config v2m_eth_config = {
111 .flags = SMSC911X_USE_32BIT,
112 .irq_polarity = SMSC911X_IRQ_POLARITY_ACTIVE_HIGH,
113 .irq_type = SMSC911X_IRQ_TYPE_PUSH_PULL,
114 .phy_interface = PHY_INTERFACE_MODE_MII,
115};
116
117static struct platform_device v2m_eth_device = {
118 .name = "smsc911x",
119 .id = -1,
120 .resource = v2m_eth_resources,
121 .num_resources = ARRAY_SIZE(v2m_eth_resources),
122 .dev.platform_data = &v2m_eth_config,
123};
124
Pawel Mollb2a54ff2012-07-09 11:33:47 +0100125static struct regulator_consumer_supply v2m_eth_supplies[] = {
126 REGULATOR_SUPPLY("vddvario", "smsc911x"),
127 REGULATOR_SUPPLY("vdd33a", "smsc911x"),
128};
129
Russell Kingceade892010-02-11 21:44:53 +0000130static struct resource v2m_usb_resources[] = {
131 {
132 .start = V2M_ISP1761,
133 .end = V2M_ISP1761 + SZ_128K - 1,
134 .flags = IORESOURCE_MEM,
135 }, {
136 .start = IRQ_V2M_ISP1761,
137 .end = IRQ_V2M_ISP1761,
138 .flags = IORESOURCE_IRQ,
139 },
140};
141
142static struct isp1760_platform_data v2m_usb_config = {
143 .is_isp1761 = true,
144 .bus_width_16 = false,
145 .port1_otg = true,
146 .analog_oc = false,
147 .dack_polarity_high = false,
148 .dreq_polarity_high = false,
149};
150
151static struct platform_device v2m_usb_device = {
152 .name = "isp1760",
153 .id = -1,
154 .resource = v2m_usb_resources,
155 .num_resources = ARRAY_SIZE(v2m_usb_resources),
156 .dev.platform_data = &v2m_usb_config,
157};
158
Marc Zyngier0f71fd42011-05-18 10:51:51 +0100159static struct physmap_flash_data v2m_flash_data = {
Russell Kingceade892010-02-11 21:44:53 +0000160 .width = 4,
Russell Kingceade892010-02-11 21:44:53 +0000161};
162
163static struct resource v2m_flash_resources[] = {
164 {
165 .start = V2M_NOR0,
166 .end = V2M_NOR0 + SZ_64M - 1,
167 .flags = IORESOURCE_MEM,
168 }, {
169 .start = V2M_NOR1,
170 .end = V2M_NOR1 + SZ_64M - 1,
171 .flags = IORESOURCE_MEM,
172 },
173};
174
175static struct platform_device v2m_flash_device = {
Marc Zyngier0f71fd42011-05-18 10:51:51 +0100176 .name = "physmap-flash",
Russell Kingceade892010-02-11 21:44:53 +0000177 .id = -1,
178 .resource = v2m_flash_resources,
179 .num_resources = ARRAY_SIZE(v2m_flash_resources),
180 .dev.platform_data = &v2m_flash_data,
181};
182
Nick Bowler95c34f82011-01-21 15:51:06 +0100183static struct pata_platform_info v2m_pata_data = {
184 .ioport_shift = 2,
185};
186
187static struct resource v2m_pata_resources[] = {
188 {
189 .start = V2M_CF,
190 .end = V2M_CF + 0xff,
191 .flags = IORESOURCE_MEM,
192 }, {
193 .start = V2M_CF + 0x100,
194 .end = V2M_CF + SZ_4K - 1,
195 .flags = IORESOURCE_MEM,
196 },
197};
198
199static struct platform_device v2m_cf_device = {
200 .name = "pata_platform",
201 .id = -1,
202 .resource = v2m_pata_resources,
203 .num_resources = ARRAY_SIZE(v2m_pata_resources),
204 .dev.platform_data = &v2m_pata_data,
205};
Russell Kingceade892010-02-11 21:44:53 +0000206
Russell Kingceade892010-02-11 21:44:53 +0000207static struct mmci_platform_data v2m_mmci_data = {
208 .ocr_mask = MMC_VDD_32_33|MMC_VDD_33_34,
Pawel Moll38669e02012-10-09 12:56:36 +0100209 .gpio_wp = VEXPRESS_GPIO_MMC_WPROT,
210 .gpio_cd = VEXPRESS_GPIO_MMC_CARDIN,
211};
212
213static struct resource v2m_sysreg_resources[] = {
214 {
215 .start = V2M_SYSREGS,
216 .end = V2M_SYSREGS + 0xfff,
217 .flags = IORESOURCE_MEM,
218 },
219};
220
221static struct platform_device v2m_sysreg_device = {
222 .name = "vexpress-sysreg",
223 .id = -1,
224 .resource = v2m_sysreg_resources,
225 .num_resources = ARRAY_SIZE(v2m_sysreg_resources),
226};
227
228static struct platform_device v2m_muxfpga_device = {
229 .name = "vexpress-muxfpga",
230 .id = 0,
231 .num_resources = 1,
232 .resource = (struct resource []) {
233 VEXPRESS_RES_FUNC(0, 7),
234 }
235};
236
237static struct platform_device v2m_shutdown_device = {
238 .name = "vexpress-shutdown",
239 .id = 0,
240 .num_resources = 1,
241 .resource = (struct resource []) {
242 VEXPRESS_RES_FUNC(0, 8),
243 }
244};
245
246static struct platform_device v2m_reboot_device = {
247 .name = "vexpress-reboot",
248 .id = 0,
249 .num_resources = 1,
250 .resource = (struct resource []) {
251 VEXPRESS_RES_FUNC(0, 9),
252 }
253};
254
255static struct platform_device v2m_dvimode_device = {
256 .name = "vexpress-dvimode",
257 .id = 0,
258 .num_resources = 1,
259 .resource = (struct resource []) {
260 VEXPRESS_RES_FUNC(0, 11),
261 }
Russell Kingceade892010-02-11 21:44:53 +0000262};
263
Russell Kingcdd4e1a2011-12-18 12:07:09 +0000264static AMBA_APB_DEVICE(aaci, "mb:aaci", 0, V2M_AACI, IRQ_V2M_AACI, NULL);
265static AMBA_APB_DEVICE(mmci, "mb:mmci", 0, V2M_MMCI, IRQ_V2M_MMCI, &v2m_mmci_data);
266static AMBA_APB_DEVICE(kmi0, "mb:kmi0", 0, V2M_KMI0, IRQ_V2M_KMI0, NULL);
267static AMBA_APB_DEVICE(kmi1, "mb:kmi1", 0, V2M_KMI1, IRQ_V2M_KMI1, NULL);
268static AMBA_APB_DEVICE(uart0, "mb:uart0", 0, V2M_UART0, IRQ_V2M_UART0, NULL);
269static AMBA_APB_DEVICE(uart1, "mb:uart1", 0, V2M_UART1, IRQ_V2M_UART1, NULL);
270static AMBA_APB_DEVICE(uart2, "mb:uart2", 0, V2M_UART2, IRQ_V2M_UART2, NULL);
271static AMBA_APB_DEVICE(uart3, "mb:uart3", 0, V2M_UART3, IRQ_V2M_UART3, NULL);
272static AMBA_APB_DEVICE(wdt, "mb:wdt", 0, V2M_WDT, IRQ_V2M_WDT, NULL);
273static AMBA_APB_DEVICE(rtc, "mb:rtc", 0, V2M_RTC, IRQ_V2M_RTC, NULL);
Russell Kingceade892010-02-11 21:44:53 +0000274
275static struct amba_device *v2m_amba_devs[] __initdata = {
276 &aaci_device,
277 &mmci_device,
278 &kmi0_device,
279 &kmi1_device,
280 &uart0_device,
281 &uart1_device,
282 &uart2_device,
283 &uart3_device,
284 &wdt_device,
285 &rtc_device,
286};
287
Pawel Molld1b8a772012-07-13 11:48:16 +0100288static void __init v2m_timer_init(void)
289{
Pawel Moll38669e02012-10-09 12:56:36 +0100290 vexpress_clk_init(ioremap(V2M_SYSCTL, SZ_4K));
Pawel Molld1b8a772012-07-13 11:48:16 +0100291 v2m_sp804_init(ioremap(V2M_TIMER01, SZ_4K), IRQ_V2M_TIMER0);
292}
293
294static struct sys_timer v2m_timer = {
295 .init = v2m_timer_init,
Russell Kingceade892010-02-11 21:44:53 +0000296};
297
Rob Herring2fdf9992011-05-30 19:44:22 +0100298static void __init v2m_init_early(void)
299{
Pawel Molld1b8a772012-07-13 11:48:16 +0100300 if (ct_desc->init_early)
301 ct_desc->init_early();
Pawel Moll38669e02012-10-09 12:56:36 +0100302 versatile_sched_clock_init(vexpress_get_24mhz_clock_base(), 24000000);
Russell Kingceade892010-02-11 21:44:53 +0000303}
304
Will Deacon80b5efbd2011-02-28 17:01:04 +0100305struct ct_desc *ct_desc;
306
307static struct ct_desc *ct_descs[] __initdata = {
308#ifdef CONFIG_ARCH_VEXPRESS_CA9X4
309 &ct_ca9x4_desc,
310#endif
311};
312
313static void __init v2m_populate_ct_desc(void)
314{
315 int i;
316 u32 current_tile_id;
317
318 ct_desc = NULL;
Pawel Moll38669e02012-10-09 12:56:36 +0100319 current_tile_id = vexpress_get_procid(VEXPRESS_SITE_MASTER)
Pawel Moll98ed4ce2012-01-25 15:37:29 +0000320 & V2M_CT_ID_MASK;
Will Deacon80b5efbd2011-02-28 17:01:04 +0100321
322 for (i = 0; i < ARRAY_SIZE(ct_descs) && !ct_desc; ++i)
323 if (ct_descs[i]->id == current_tile_id)
324 ct_desc = ct_descs[i];
325
326 if (!ct_desc)
Pawel Moll8deed172012-02-23 13:04:51 +0000327 panic("vexpress: this kernel does not support core tile ID 0x%08x when booting via ATAGs.\n"
328 "You may need a device tree blob or a different kernel to boot on this board.\n",
329 current_tile_id);
Will Deacon80b5efbd2011-02-28 17:01:04 +0100330}
331
332static void __init v2m_map_io(void)
333{
334 iotable_init(v2m_io_desc, ARRAY_SIZE(v2m_io_desc));
Pawel Moll38669e02012-10-09 12:56:36 +0100335 vexpress_sysreg_early_init(ioremap(V2M_SYSREGS, SZ_4K));
Will Deacon80b5efbd2011-02-28 17:01:04 +0100336 v2m_populate_ct_desc();
337 ct_desc->map_io();
338}
339
340static void __init v2m_init_irq(void)
341{
342 ct_desc->init_irq();
343}
344
345static void __init v2m_init(void)
Russell Kingceade892010-02-11 21:44:53 +0000346{
347 int i;
348
Pawel Mollb2a54ff2012-07-09 11:33:47 +0100349 regulator_register_fixed(0, v2m_eth_supplies,
350 ARRAY_SIZE(v2m_eth_supplies));
351
Pawel Moll38669e02012-10-09 12:56:36 +0100352 platform_device_register(&v2m_muxfpga_device);
353 platform_device_register(&v2m_shutdown_device);
354 platform_device_register(&v2m_reboot_device);
355 platform_device_register(&v2m_dvimode_device);
356
357 platform_device_register(&v2m_sysreg_device);
Russell Kingceade892010-02-11 21:44:53 +0000358 platform_device_register(&v2m_pcie_i2c_device);
359 platform_device_register(&v2m_ddc_i2c_device);
360 platform_device_register(&v2m_flash_device);
Nick Bowler95c34f82011-01-21 15:51:06 +0100361 platform_device_register(&v2m_cf_device);
Russell Kingceade892010-02-11 21:44:53 +0000362 platform_device_register(&v2m_eth_device);
363 platform_device_register(&v2m_usb_device);
364
365 for (i = 0; i < ARRAY_SIZE(v2m_amba_devs); i++)
366 amba_device_register(v2m_amba_devs[i], &iomem_resource);
367
Pawel Moll38669e02012-10-09 12:56:36 +0100368 pm_power_off = vexpress_power_off;
Russell Kingceade892010-02-11 21:44:53 +0000369
Will Deacon80b5efbd2011-02-28 17:01:04 +0100370 ct_desc->init_tile();
Russell Kingceade892010-02-11 21:44:53 +0000371}
Will Deacon80b5efbd2011-02-28 17:01:04 +0100372
373MACHINE_START(VEXPRESS, "ARM-Versatile Express")
Nicolas Pitree9ce8e52011-07-05 22:38:18 -0400374 .atag_offset = 0x100,
Marc Zyngier3695adc2011-09-08 13:15:22 +0100375 .smp = smp_ops(vexpress_smp_ops),
Will Deacon80b5efbd2011-02-28 17:01:04 +0100376 .map_io = v2m_map_io,
377 .init_early = v2m_init_early,
378 .init_irq = v2m_init_irq,
379 .timer = &v2m_timer,
Marc Zyngierabd3ca52011-09-06 10:23:45 +0100380 .handle_irq = gic_handle_irq,
Will Deacon80b5efbd2011-02-28 17:01:04 +0100381 .init_machine = v2m_init,
Pawel Moll38669e02012-10-09 12:56:36 +0100382 .restart = vexpress_restart,
Will Deacon80b5efbd2011-02-28 17:01:04 +0100383MACHINE_END
Pawel Moll8deed172012-02-23 13:04:51 +0000384
Pawel Moll6a371952011-12-09 18:47:39 +0000385static struct map_desc v2m_rs1_io_desc __initdata = {
386 .virtual = V2M_PERIPH,
387 .pfn = __phys_to_pfn(0x1c000000),
388 .length = SZ_2M,
389 .type = MT_DEVICE,
390};
391
392static int __init v2m_dt_scan_memory_map(unsigned long node, const char *uname,
393 int depth, void *data)
394{
395 const char **map = data;
396
397 if (strcmp(uname, "motherboard") != 0)
398 return 0;
399
400 *map = of_get_flat_dt_prop(node, "arm,v2m-memory-map", NULL);
401
402 return 1;
403}
404
Pawel Moll8deed172012-02-23 13:04:51 +0000405void __init v2m_dt_map_io(void)
406{
Pawel Moll6a371952011-12-09 18:47:39 +0000407 const char *map = NULL;
408
409 of_scan_flat_dt(v2m_dt_scan_memory_map, &map);
410
411 if (map && strcmp(map, "rs1") == 0)
412 iotable_init(&v2m_rs1_io_desc, 1);
413 else
414 iotable_init(v2m_io_desc, ARRAY_SIZE(v2m_io_desc));
Pawel Moll8deed172012-02-23 13:04:51 +0000415
416#if defined(CONFIG_SMP)
417 vexpress_dt_smp_map_io();
418#endif
419}
420
Pawel Moll8deed172012-02-23 13:04:51 +0000421void __init v2m_dt_init_early(void)
422{
Pawel Moll8deed172012-02-23 13:04:51 +0000423 u32 dt_hbi;
424
Pawel Moll38669e02012-10-09 12:56:36 +0100425 vexpress_sysreg_of_early_init();
Pawel Moll8deed172012-02-23 13:04:51 +0000426
427 /* Confirm board type against DT property, if available */
Randy Dunlap465aac62012-11-30 10:01:51 +0000428 if (of_property_read_u32(of_allnodes, "arm,hbi", &dt_hbi) == 0) {
Pawel Moll38669e02012-10-09 12:56:36 +0100429 u32 hbi = vexpress_get_hbi(VEXPRESS_SITE_MASTER);
Pawel Moll8deed172012-02-23 13:04:51 +0000430
431 if (WARN_ON(dt_hbi != hbi))
432 pr_warning("vexpress: DT HBI (%x) is not matching "
433 "hardware (%x)!\n", dt_hbi, hbi);
434 }
Pawel Moll8deed172012-02-23 13:04:51 +0000435}
436
437static struct of_device_id vexpress_irq_match[] __initdata = {
438 { .compatible = "arm,cortex-a9-gic", .data = gic_of_init, },
439 {}
440};
441
442static void __init v2m_dt_init_irq(void)
443{
444 of_irq_init(vexpress_irq_match);
445}
446
447static void __init v2m_dt_timer_init(void)
448{
Pawel Moll433683a2012-10-16 15:27:12 +0100449 struct device_node *node = NULL;
Pawel Moll8deed172012-02-23 13:04:51 +0000450
Pawel Moll38669e02012-10-09 12:56:36 +0100451 vexpress_clk_of_init();
Pawel Moll8deed172012-02-23 13:04:51 +0000452
Pawel Moll433683a2012-10-16 15:27:12 +0100453 do {
454 node = of_find_compatible_node(node, NULL, "arm,sp804");
455 } while (node && vexpress_get_site_by_node(node) != VEXPRESS_SITE_MB);
456 if (node) {
457 pr_info("Using SP804 '%s' as a clock & events source\n",
458 node->full_name);
459 v2m_sp804_init(of_iomap(node, 0),
460 irq_of_parse_and_map(node, 0));
461 }
Pawel Molld1b8a772012-07-13 11:48:16 +0100462
Marc Zyngier120f3d62012-03-28 17:13:53 +0100463 if (arch_timer_of_register() != 0)
464 twd_local_timer_of_register();
465
466 if (arch_timer_sched_clock_init() != 0)
Pawel Moll38669e02012-10-09 12:56:36 +0100467 versatile_sched_clock_init(vexpress_get_24mhz_clock_base(),
468 24000000);
Pawel Moll8deed172012-02-23 13:04:51 +0000469}
470
471static struct sys_timer v2m_dt_timer = {
472 .init = v2m_dt_timer_init,
473};
474
Pawel Moll38669e02012-10-09 12:56:36 +0100475static const struct of_device_id v2m_dt_bus_match[] __initconst = {
476 { .compatible = "simple-bus", },
477 { .compatible = "arm,amba-bus", },
478 { .compatible = "arm,vexpress,config-bus", },
Pawel Moll8deed172012-02-23 13:04:51 +0000479 {}
480};
481
482static void __init v2m_dt_init(void)
483{
484 l2x0_of_init(0x00400000, 0xfe0fffff);
Pawel Moll38669e02012-10-09 12:56:36 +0100485 of_platform_populate(NULL, v2m_dt_bus_match, NULL, NULL);
486 pm_power_off = vexpress_power_off;
Pawel Moll8deed172012-02-23 13:04:51 +0000487}
488
Pawel Moll38669e02012-10-09 12:56:36 +0100489static const char * const v2m_dt_match[] __initconst = {
Pawel Moll8deed172012-02-23 13:04:51 +0000490 "arm,vexpress",
Stefano Stabellinibbd6eb22012-09-24 16:40:52 +0000491 "xen,xenvm",
Pawel Moll8deed172012-02-23 13:04:51 +0000492 NULL,
493};
494
495DT_MACHINE_START(VEXPRESS_DT, "ARM-Versatile Express")
496 .dt_compat = v2m_dt_match,
Marc Zyngier3695adc2011-09-08 13:15:22 +0100497 .smp = smp_ops(vexpress_smp_ops),
Pawel Moll8deed172012-02-23 13:04:51 +0000498 .map_io = v2m_dt_map_io,
499 .init_early = v2m_dt_init_early,
500 .init_irq = v2m_dt_init_irq,
501 .timer = &v2m_dt_timer,
502 .init_machine = v2m_dt_init,
503 .handle_irq = gic_handle_irq,
Pawel Moll38669e02012-10-09 12:56:36 +0100504 .restart = vexpress_restart,
Pawel Moll8deed172012-02-23 13:04:51 +0000505MACHINE_END