1
2
3
4
5
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