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 <mach/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
58