0001
0002
0003
0004
0005
0006
0007
0008 #include <linux/irq.h>
0009 #include <linux/irqdomain.h>
0010 #include <linux/of_irq.h>
0011 #include <linux/of_platform.h>
0012 #include <asm/mach/arch.h>
0013 #include <asm/mach/time.h>
0014 #include "irqs.h"
0015
0016 #include "generic.h"
0017
0018 #ifdef CONFIG_PXA25x
0019 static const char * const pxa25x_dt_board_compat[] __initconst = {
0020 "marvell,pxa250",
0021 NULL,
0022 };
0023
0024 DT_MACHINE_START(PXA25X_DT, "Marvell PXA25x (Device Tree Support)")
0025 .map_io = pxa25x_map_io,
0026 .restart = pxa_restart,
0027 .dt_compat = pxa25x_dt_board_compat,
0028 MACHINE_END
0029 #endif
0030
0031 #ifdef CONFIG_PXA27x
0032 static const char * const pxa27x_dt_board_compat[] __initconst = {
0033 "marvell,pxa270",
0034 NULL,
0035 };
0036
0037 DT_MACHINE_START(PXA27X_DT, "Marvell PXA27x (Device Tree Support)")
0038 .map_io = pxa27x_map_io,
0039 .restart = pxa_restart,
0040 .dt_compat = pxa27x_dt_board_compat,
0041 MACHINE_END
0042 #endif
0043
0044 #ifdef CONFIG_PXA3xx
0045 static const char *const pxa3xx_dt_board_compat[] __initconst = {
0046 "marvell,pxa300",
0047 "marvell,pxa310",
0048 "marvell,pxa320",
0049 NULL,
0050 };
0051
0052 DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)")
0053 .map_io = pxa3xx_map_io,
0054 .restart = pxa_restart,
0055 .dt_compat = pxa3xx_dt_board_compat,
0056 MACHINE_END
0057 #endif