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
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