// SPDX-License-Identifier: GPL-2.0-only /* * linux/arch/arm/mach-pxa/pxa-dt.c * * Copyright (C) 2012 Daniel Mack */ #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 [31mCONFIG_PXA25x[0m 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 [31mCONFIG_PXA27x[0m 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 [31mCONFIG_PXA3xx[0m 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 |