blob: 621571781b200378a094a1b36c27975ee1b39470 [file] [log] [blame]
Russell Kingceade892010-02-11 21:44:53 +00001/*
2 * Versatile Express V2M Motherboard Support
3 */
Rob Herring0583fe42013-04-10 18:27:51 -05004#include <linux/clocksource.h>
Russell Kingceade892010-02-11 21:44:53 +00005#include <linux/device.h>
6#include <linux/amba/bus.h>
7#include <linux/amba/mmci.h>
8#include <linux/io.h>
Rob Herringda4a6862013-02-06 21:17:47 -06009#include <linux/clocksource.h>
Marc Zyngier3695adc2011-09-08 13:15:22 +010010#include <linux/smp.h>
Russell Kingceade892010-02-11 21:44:53 +000011#include <linux/init.h>
Rob Herring0529e3152012-11-05 16:18:28 -060012#include <linux/irqchip.h>
Pawel Moll8deed172012-02-23 13:04:51 +000013#include <linux/of_address.h>
14#include <linux/of_fdt.h>
15#include <linux/of_irq.h>
16#include <linux/of_platform.h>
Russell Kingceade892010-02-11 21:44:53 +000017#include <linux/platform_device.h>
Nick Bowler95c34f82011-01-21 15:51:06 +010018#include <linux/ata_platform.h>
Russell Kingceade892010-02-11 21:44:53 +000019#include <linux/smsc911x.h>
20#include <linux/spinlock.h>
Russell Kingceade892010-02-11 21:44:53 +000021#include <linux/usb/isp1760.h>
Marc Zyngier0f71fd42011-05-18 10:51:51 +010022#include <linux/mtd/physmap.h>
Pawel Mollb2a54ff2012-07-09 11:33:47 +010023#include <linux/regulator/fixed.h>
24#include <linux/regulator/machine.h>
Pawel Moll38669e02012-10-09 12:56:36 +010025#include <linux/vexpress.h>
Russell Kingceade892010-02-11 21:44:53 +000026
Will Deacon80b5efbd2011-02-28 17:01:04 +010027#include <asm/mach-types.h>
Russell Kingceade892010-02-11 21:44:53 +000028#include <asm/sizes.h>
Will Deacon80b5efbd2011-02-28 17:01:04 +010029#include <asm/mach/arch.h>
Russell Kingceade892010-02-11 21:44:53 +000030#include <asm/mach/map.h>
31#include <asm/mach/time.h>
32#include <asm/hardware/arm_timer.h>
Pawel Moll8deed172012-02-23 13:04:51 +000033#include <asm/hardware/cache-l2x0.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
Rob Herring2fdf9992011-05-30 19:44:22 +0100294static void __init v2m_init_early(void)
295{
Pawel Molld1b8a772012-07-13 11:48:16 +0100296 if (ct_desc->init_early)
297 ct_desc->init_early();
Pawel Moll38669e02012-10-09 12:56:36 +0100298 versatile_sched_clock_init(vexpress_get_24mhz_clock_base(), 24000000);
Russell Kingceade892010-02-11 21:44:53 +0000299}
300
Will Deacon80b5efbd2011-02-28 17:01:04 +0100301struct ct_desc *ct_desc;
302
303static struct ct_desc *ct_descs[] __initdata = {
304#ifdef CONFIG_ARCH_VEXPRESS_CA9X4
305 &ct_ca9x4_desc,
306#endif
307};
308
309static void __init v2m_populate_ct_desc(void)
310{
311 int i;
312 u32 current_tile_id;
313
314 ct_desc = NULL;
Pawel Moll38669e02012-10-09 12:56:36 +0100315 current_tile_id = vexpress_get_procid(VEXPRESS_SITE_MASTER)
Pawel Moll98ed4ce2012-01-25 15:37:29 +0000316 & V2M_CT_ID_MASK;
Will Deacon80b5efbd2011-02-28 17:01:04 +0100317
318 for (i = 0; i < ARRAY_SIZE(ct_descs) && !ct_desc; ++i)
319 if (ct_descs[i]->id == current_tile_id)
320 ct_desc = ct_descs[i];
321
322 if (!ct_desc)
Pawel Moll8deed172012-02-23 13:04:51 +0000323 panic("vexpress: this kernel does not support core tile ID 0x%08x when booting via ATAGs.\n"
324 "You may need a device tree blob or a different kernel to boot on this board.\n",
325 current_tile_id);
Will Deacon80b5efbd2011-02-28 17:01:04 +0100326}
327
328static void __init v2m_map_io(void)
329{
330 iotable_init(v2m_io_desc, ARRAY_SIZE(v2m_io_desc));
Pawel Moll38669e02012-10-09 12:56:36 +0100331 vexpress_sysreg_early_init(ioremap(V2M_SYSREGS, SZ_4K));
Will Deacon80b5efbd2011-02-28 17:01:04 +0100332 v2m_populate_ct_desc();
333 ct_desc->map_io();
334}
335
336static void __init v2m_init_irq(void)
337{
338 ct_desc->init_irq();
339}
340
341static void __init v2m_init(void)
Russell Kingceade892010-02-11 21:44:53 +0000342{
343 int i;
344
Pawel Mollb2a54ff2012-07-09 11:33:47 +0100345 regulator_register_fixed(0, v2m_eth_supplies,
346 ARRAY_SIZE(v2m_eth_supplies));
347
Pawel Moll38669e02012-10-09 12:56:36 +0100348 platform_device_register(&v2m_muxfpga_device);
349 platform_device_register(&v2m_shutdown_device);
350 platform_device_register(&v2m_reboot_device);
351 platform_device_register(&v2m_dvimode_device);
352
353 platform_device_register(&v2m_sysreg_device);
Russell Kingceade892010-02-11 21:44:53 +0000354 platform_device_register(&v2m_pcie_i2c_device);
355 platform_device_register(&v2m_ddc_i2c_device);
356 platform_device_register(&v2m_flash_device);
Nick Bowler95c34f82011-01-21 15:51:06 +0100357 platform_device_register(&v2m_cf_device);
Russell Kingceade892010-02-11 21:44:53 +0000358 platform_device_register(&v2m_eth_device);
359 platform_device_register(&v2m_usb_device);
360
361 for (i = 0; i < ARRAY_SIZE(v2m_amba_devs); i++)
362 amba_device_register(v2m_amba_devs[i], &iomem_resource);
363
Pawel Moll38669e02012-10-09 12:56:36 +0100364 pm_power_off = vexpress_power_off;
Russell Kingceade892010-02-11 21:44:53 +0000365
Will Deacon80b5efbd2011-02-28 17:01:04 +0100366 ct_desc->init_tile();
Russell Kingceade892010-02-11 21:44:53 +0000367}
Will Deacon80b5efbd2011-02-28 17:01:04 +0100368
369MACHINE_START(VEXPRESS, "ARM-Versatile Express")
Nicolas Pitree9ce8e52011-07-05 22:38:18 -0400370 .atag_offset = 0x100,
Marc Zyngier3695adc2011-09-08 13:15:22 +0100371 .smp = smp_ops(vexpress_smp_ops),
Will Deacon80b5efbd2011-02-28 17:01:04 +0100372 .map_io = v2m_map_io,
373 .init_early = v2m_init_early,
374 .init_irq = v2m_init_irq,
Stephen Warren6bb27d72012-11-08 12:40:59 -0700375 .init_time = v2m_timer_init,
Will Deacon80b5efbd2011-02-28 17:01:04 +0100376 .init_machine = v2m_init,
Pawel Moll38669e02012-10-09 12:56:36 +0100377 .restart = vexpress_restart,
Will Deacon80b5efbd2011-02-28 17:01:04 +0100378MACHINE_END
Pawel Moll8deed172012-02-23 13:04:51 +0000379
Pawel Moll6a371952011-12-09 18:47:39 +0000380static struct map_desc v2m_rs1_io_desc __initdata = {
381 .virtual = V2M_PERIPH,
382 .pfn = __phys_to_pfn(0x1c000000),
383 .length = SZ_2M,
384 .type = MT_DEVICE,
385};
386
387static int __init v2m_dt_scan_memory_map(unsigned long node, const char *uname,
388 int depth, void *data)
389{
390 const char **map = data;
391
392 if (strcmp(uname, "motherboard") != 0)
393 return 0;
394
395 *map = of_get_flat_dt_prop(node, "arm,v2m-memory-map", NULL);
396
397 return 1;
398}
399
Pawel Moll8deed172012-02-23 13:04:51 +0000400void __init v2m_dt_map_io(void)
401{
Pawel Moll6a371952011-12-09 18:47:39 +0000402 const char *map = NULL;
403
404 of_scan_flat_dt(v2m_dt_scan_memory_map, &map);
405
406 if (map && strcmp(map, "rs1") == 0)
407 iotable_init(&v2m_rs1_io_desc, 1);
408 else
409 iotable_init(v2m_io_desc, ARRAY_SIZE(v2m_io_desc));
Pawel Moll8deed172012-02-23 13:04:51 +0000410
411#if defined(CONFIG_SMP)
412 vexpress_dt_smp_map_io();
413#endif
414}
415
Pawel Moll8deed172012-02-23 13:04:51 +0000416void __init v2m_dt_init_early(void)
417{
Pawel Moll8deed172012-02-23 13:04:51 +0000418 u32 dt_hbi;
419
Pawel Moll38669e02012-10-09 12:56:36 +0100420 vexpress_sysreg_of_early_init();
Pawel Moll8deed172012-02-23 13:04:51 +0000421
422 /* Confirm board type against DT property, if available */
Randy Dunlap465aac62012-11-30 10:01:51 +0000423 if (of_property_read_u32(of_allnodes, "arm,hbi", &dt_hbi) == 0) {
Pawel Moll38669e02012-10-09 12:56:36 +0100424 u32 hbi = vexpress_get_hbi(VEXPRESS_SITE_MASTER);
Pawel Moll8deed172012-02-23 13:04:51 +0000425
426 if (WARN_ON(dt_hbi != hbi))
427 pr_warning("vexpress: DT HBI (%x) is not matching "
428 "hardware (%x)!\n", dt_hbi, hbi);
429 }
Pawel Moll8deed172012-02-23 13:04:51 +0000430}
431
Pawel Moll8deed172012-02-23 13:04:51 +0000432static void __init v2m_dt_timer_init(void)
433{
Pawel Moll433683a2012-10-16 15:27:12 +0100434 struct device_node *node = NULL;
Pawel Moll8deed172012-02-23 13:04:51 +0000435
Pawel Moll38669e02012-10-09 12:56:36 +0100436 vexpress_clk_of_init();
Pawel Moll8deed172012-02-23 13:04:51 +0000437
Rob Herringda4a6862013-02-06 21:17:47 -0600438 clocksource_of_init();
Pawel Moll433683a2012-10-16 15:27:12 +0100439 do {
440 node = of_find_compatible_node(node, NULL, "arm,sp804");
441 } while (node && vexpress_get_site_by_node(node) != VEXPRESS_SITE_MB);
442 if (node) {
443 pr_info("Using SP804 '%s' as a clock & events source\n",
444 node->full_name);
445 v2m_sp804_init(of_iomap(node, 0),
446 irq_of_parse_and_map(node, 0));
447 }
Pawel Molld1b8a772012-07-13 11:48:16 +0100448
Rob Herring0583fe42013-04-10 18:27:51 -0500449 versatile_sched_clock_init(vexpress_get_24mhz_clock_base(),
Pawel Moll38669e02012-10-09 12:56:36 +0100450 24000000);
Pawel Moll8deed172012-02-23 13:04:51 +0000451}
452
Pawel Moll38669e02012-10-09 12:56:36 +0100453static const struct of_device_id v2m_dt_bus_match[] __initconst = {
454 { .compatible = "simple-bus", },
455 { .compatible = "arm,amba-bus", },
456 { .compatible = "arm,vexpress,config-bus", },
Pawel Moll8deed172012-02-23 13:04:51 +0000457 {}
458};
459
460static void __init v2m_dt_init(void)
461{
462 l2x0_of_init(0x00400000, 0xfe0fffff);
Pawel Moll38669e02012-10-09 12:56:36 +0100463 of_platform_populate(NULL, v2m_dt_bus_match, NULL, NULL);
464 pm_power_off = vexpress_power_off;
Pawel Moll8deed172012-02-23 13:04:51 +0000465}
466
Pawel Moll38669e02012-10-09 12:56:36 +0100467static const char * const v2m_dt_match[] __initconst = {
Pawel Moll8deed172012-02-23 13:04:51 +0000468 "arm,vexpress",
Stefano Stabellinibbd6eb22012-09-24 16:40:52 +0000469 "xen,xenvm",
Pawel Moll8deed172012-02-23 13:04:51 +0000470 NULL,
471};
472
473DT_MACHINE_START(VEXPRESS_DT, "ARM-Versatile Express")
474 .dt_compat = v2m_dt_match,
Marc Zyngier3695adc2011-09-08 13:15:22 +0100475 .smp = smp_ops(vexpress_smp_ops),
Pawel Moll8deed172012-02-23 13:04:51 +0000476 .map_io = v2m_dt_map_io,
477 .init_early = v2m_dt_init_early,
Rob Herring0529e3152012-11-05 16:18:28 -0600478 .init_irq = irqchip_init,
Stephen Warren6bb27d72012-11-08 12:40:59 -0700479 .init_time = v2m_dt_timer_init,
Pawel Moll8deed172012-02-23 13:04:51 +0000480 .init_machine = v2m_dt_init,
Pawel Moll38669e02012-10-09 12:56:36 +0100481 .restart = vexpress_restart,
Pawel Moll8deed172012-02-23 13:04:51 +0000482MACHINE_END