| // SPDX-License-Identifier: GPL-2.0-only |
| * linux/arch/arm/mach-pxa/pxa-dt.c |
| * Copyright (C) 2012 Daniel Mack |
| #include <linux/irqdomain.h> |
| #include <linux/of_irq.h> |
| #include <linux/of_platform.h> |
| #include <asm/mach/arch.h> |
| #include <asm/mach/time.h> |
| static const char * const pxa25x_dt_board_compat[] __initconst = { |
| DT_MACHINE_START(PXA25X_DT, "Marvell PXA25x (Device Tree Support)") |
| .dt_compat = pxa25x_dt_board_compat, |
| static const char * const pxa27x_dt_board_compat[] __initconst = { |
| DT_MACHINE_START(PXA27X_DT, "Marvell PXA27x (Device Tree Support)") |
| .dt_compat = pxa27x_dt_board_compat, |
| static const char *const pxa3xx_dt_board_compat[] __initconst = { |
| DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)") |
| .dt_compat = pxa3xx_dt_board_compat, |