pxa-dt.c (1249B)
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 19static const char * const pxa25x_dt_board_compat[] __initconst = { 20 "marvell,pxa250", 21 NULL, 22}; 23 24DT_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, 28MACHINE_END 29#endif 30 31#ifdef CONFIG_PXA27x 32static const char * const pxa27x_dt_board_compat[] __initconst = { 33 "marvell,pxa270", 34 NULL, 35}; 36 37DT_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, 41MACHINE_END 42#endif 43 44#ifdef CONFIG_PXA3xx 45static const char *const pxa3xx_dt_board_compat[] __initconst = { 46 "marvell,pxa300", 47 "marvell,pxa310", 48 "marvell,pxa320", 49 NULL, 50}; 51 52DT_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, 56MACHINE_END 57#endif