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