1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * linux/arch/arm/mach-pxa/pxa-dt.c 4 * 5 * Copyright (C) 2012 Daniel Mack 6 */ 7 8 #include <linux/irq.h> 9 #include <linux/irqdomain.h> 10 #include <linux/of_irq.h> 11 #include <linux/of_platform.h> 12 #include <asm/mach/arch.h> 13 #include <asm/mach/time.h> 14 #include "irqs.h" 15 16 #include "generic.h" 17 18 #ifdef CONFIG_PXA25x 19 static const char * const pxa25x_dt_board_compat[] __initconst = { 20 "marvell,pxa250", 21 NULL, 22 }; 23 24 DT_MACHINE_START(PXA25X_DT, "Marvell PXA25x (Device Tree Support)") 25 .map_io = pxa25x_map_io, 26 .restart = pxa_restart, 27 .dt_compat = pxa25x_dt_board_compat, 28 MACHINE_END 29 #endif 30 31 #ifdef CONFIG_PXA27x 32 static const char * const pxa27x_dt_board_compat[] __initconst = { 33 "marvell,pxa270", 34 NULL, 35 }; 36 37 DT_MACHINE_START(PXA27X_DT, "Marvell PXA27x (Device Tree Support)") 38 .map_io = pxa27x_map_io, 39 .restart = pxa_restart, 40 .dt_compat = pxa27x_dt_board_compat, 41 MACHINE_END 42 #endif 43 44 #ifdef CONFIG_PXA3xx 45 static const char *const pxa3xx_dt_board_compat[] __initconst = { 46 "marvell,pxa300", 47 "marvell,pxa310", 48 "marvell,pxa320", 49 NULL, 50 }; 51 52 DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)") 53 .map_io = pxa3xx_map_io, 54 .restart = pxa_restart, 55 .dt_compat = pxa3xx_dt_board_compat, 56 MACHINE_END 57 #endif 58