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 .init_irq = pxa25x_dt_init_irq,
30 .handle_irq = pxa25x_handle_irq,
31 .restart = pxa_restart,
32 .dt_compat = pxa25x_dt_board_compat,
37 static const char * const pxa27x_dt_board_compat[] __initconst = {
42 DT_MACHINE_START(PXA27X_DT, "Marvell PXA27x (Device Tree Support)")
43 .map_io = pxa27x_map_io,
44 .init_irq = pxa27x_dt_init_irq,
45 .handle_irq = pxa27x_handle_irq,
46 .restart = pxa_restart,
47 .dt_compat = pxa27x_dt_board_compat,
52 static const char *const pxa3xx_dt_board_compat[] __initconst = {
59 DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)")
60 .map_io = pxa3xx_map_io,
61 .init_irq = pxa3xx_dt_init_irq,
62 .handle_irq = pxa3xx_handle_irq,
63 .restart = pxa_restart,
64 .dt_compat = pxa3xx_dt_board_compat,