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 <asm/mach/arch.h>
9
10#include "generic.h"
11
12#ifdef CONFIG_PXA25x
13static const char * const pxa25x_dt_board_compat[] __initconst = {
14	"marvell,pxa250",
15	NULL,
16};
17
18DT_MACHINE_START(PXA25X_DT, "Marvell PXA25x (Device Tree Support)")
19	.map_io		= pxa25x_map_io,
20	.restart	= pxa_restart,
21	.dt_compat	= pxa25x_dt_board_compat,
22MACHINE_END
23#endif
24
25#ifdef CONFIG_PXA27x
26static const char * const pxa27x_dt_board_compat[] __initconst = {
27	"marvell,pxa270",
28	NULL,
29};
30
31DT_MACHINE_START(PXA27X_DT, "Marvell PXA27x (Device Tree Support)")
32	.map_io		= pxa27x_map_io,
33	.restart	= pxa_restart,
34	.dt_compat	= pxa27x_dt_board_compat,
35MACHINE_END
36#endif
37
38#ifdef CONFIG_PXA3xx
39static const char *const pxa3xx_dt_board_compat[] __initconst = {
40	"marvell,pxa300",
41	"marvell,pxa310",
42	"marvell,pxa320",
43	NULL,
44};
45
46DT_MACHINE_START(PXA_DT, "Marvell PXA3xx (Device Tree Support)")
47	.map_io		= pxa3xx_map_io,
48	.restart	= pxa_restart,
49	.dt_compat	= pxa3xx_dt_board_compat,
50MACHINE_END
51#endif
52