]>
Commit | Line | Data |
---|---|---|
d2a37b3d DGC |
1 | /* |
2 | * Copyright 2012 Sascha Hauer, Pengutronix | |
3 | * | |
4 | * The code contained herein is licensed under the GNU General Public | |
5 | * License. You may obtain a copy of the GNU General Public License | |
6 | * Version 2 or later at the following locations: | |
7 | * | |
8 | * http://www.opensource.org/licenses/gpl-license.html | |
9 | * http://www.gnu.org/copyleft/gpl.html | |
10 | */ | |
11 | ||
12 | #include <linux/irq.h> | |
13 | #include <linux/of_irq.h> | |
14 | #include <linux/of_platform.h> | |
15 | #include <asm/mach/arch.h> | |
16 | #include <asm/mach/time.h> | |
d2a37b3d | 17 | |
e3372474 | 18 | #include "common.h" |
50f2de61 | 19 | #include "mx31.h" |
e3372474 | 20 | |
d2a37b3d DGC |
21 | static void __init imx31_dt_init(void) |
22 | { | |
ef0e4a60 | 23 | of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL); |
d2a37b3d DGC |
24 | } |
25 | ||
d2a37b3d DGC |
26 | static const char *imx31_dt_board_compat[] __initdata = { |
27 | "fsl,imx31", | |
28 | NULL | |
29 | }; | |
30 | ||
80debae5 SW |
31 | static void __init imx31_dt_timer_init(void) |
32 | { | |
33 | mx31_clocks_init_dt(); | |
34 | } | |
35 | ||
d2a37b3d DGC |
36 | DT_MACHINE_START(IMX31_DT, "Freescale i.MX31 (Device Tree Support)") |
37 | .map_io = mx31_map_io, | |
38 | .init_early = imx31_init_early, | |
39 | .init_irq = mx31_init_irq, | |
40 | .handle_irq = imx31_handle_irq, | |
80debae5 | 41 | .init_time = imx31_dt_timer_init, |
d2a37b3d DGC |
42 | .init_machine = imx31_dt_init, |
43 | .dt_compat = imx31_dt_board_compat, | |
44 | .restart = mxc_restart, | |
45 | MACHINE_END |