1 /* 2 * linux/arch/arm/mach-pxa/pxa-dt.c 3 * 4 * Copyright (C) 2012 Daniel Mack 5 * 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. 9 */ 10 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> 18 19 #include "generic.h" 20 21 #ifdef CONFIG_PXA3xx 22 static const char *const pxa3xx_dt_board_compat[] __initconst = { 23 "marvell,pxa300", 24 "marvell,pxa310", 25 "marvell,pxa320", 26 NULL, 27 }; 28 29 DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)") 30 .map_io = pxa3xx_map_io, 31 .init_irq = pxa3xx_dt_init_irq, 32 .handle_irq = pxa3xx_handle_irq, 33 .restart = pxa_restart, 34 .dt_compat = pxa3xx_dt_board_compat, 35 MACHINE_END 36 #endif 37 38 #ifdef CONFIG_PXA27x 39 static const char * const pxa27x_dt_board_compat[] __initconst = { 40 "marvell,pxa270", 41 NULL, 42 }; 43 44 DT_MACHINE_START(PXA27X_DT, "Marvell PXA2xx (Device Tree Support)") 45 .map_io = pxa27x_map_io, 46 .init_irq = pxa27x_dt_init_irq, 47 .handle_irq = pxa27x_handle_irq, 48 .restart = pxa_restart, 49 .dt_compat = pxa27x_dt_board_compat, 50 MACHINE_END 51 #endif 52