2 * linux/arch/arm/mach-pxa/pxa-dt.c
4 * Copyright (C) 2012 Daniel Mack
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * publishhed by the Free Software Foundation.
11 #include <linux/irq.h>
12 #include <linux/irqdomain.h>
13 #include <linux/of_irq.h>
14 #include <linux/of_platform.h>
15 #include <asm/mach/arch.h>
16 #include <asm/mach/time.h>
17 #include <mach/irqs.h>
22 static const char * const pxa25x_dt_board_compat
[] __initconst
= {
27 DT_MACHINE_START(PXA25X_DT
, "Marvell PXA25x (Device Tree Support)")
28 .map_io
= pxa25x_map_io
,
29 .restart
= pxa_restart
,
30 .dt_compat
= pxa25x_dt_board_compat
,
35 static const char * const pxa27x_dt_board_compat
[] __initconst
= {
40 DT_MACHINE_START(PXA27X_DT
, "Marvell PXA27x (Device Tree Support)")
41 .map_io
= pxa27x_map_io
,
42 .restart
= pxa_restart
,
43 .dt_compat
= pxa27x_dt_board_compat
,
48 static const char *const pxa3xx_dt_board_compat
[] __initconst
= {
55 DT_MACHINE_START(PXA_DT
, "Marvell PXA3xx (Device Tree Support)")
56 .map_io
= pxa3xx_map_io
,
57 .restart
= pxa_restart
,
58 .dt_compat
= pxa3xx_dt_board_compat
,