| /* |
| * linux/arch/arm/mach-pxa/pxa-dt.c |
| * |
| * Copyright (C) 2012 Daniel Mack |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * publishhed by the Free Software Foundation. |
| */ |
| |
| #include <linux/irq.h> |
| #include <linux/irqdomain.h> |
| #include <linux/of_irq.h> |
| #include <linux/of_platform.h> |
| #include <asm/mach/arch.h> |
| #include <asm/mach/time.h> |
| #include <mach/irqs.h> |
| |
| #include "generic.h" |
| |
| #ifdef CONFIG_PXA25x |
| static const char * const pxa25x_dt_board_compat[] __initconst = { |
| "marvell,pxa250", |
| NULL, |
| }; |
| |
| DT_MACHINE_START(PXA25X_DT, "Marvell PXA25x (Device Tree Support)") |
| .map_io = pxa25x_map_io, |
| .restart = pxa_restart, |
| .dt_compat = pxa25x_dt_board_compat, |
| MACHINE_END |
| #endif |
| |
| #ifdef CONFIG_PXA27x |
| static const char * const pxa27x_dt_board_compat[] __initconst = { |
| "marvell,pxa270", |
| NULL, |
| }; |
| |
| DT_MACHINE_START(PXA27X_DT, "Marvell PXA27x (Device Tree Support)") |
| .map_io = pxa27x_map_io, |
| .restart = pxa_restart, |
| .dt_compat = pxa27x_dt_board_compat, |
| MACHINE_END |
| #endif |
| |
| #ifdef CONFIG_PXA3xx |
| static const char *const pxa3xx_dt_board_compat[] __initconst = { |
| "marvell,pxa300", |
| "marvell,pxa310", |
| "marvell,pxa320", |
| NULL, |
| }; |
| |
| DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)") |
| .map_io = pxa3xx_map_io, |
| .restart = pxa_restart, |
| .dt_compat = pxa3xx_dt_board_compat, |
| MACHINE_END |
| #endif |