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> 17 18 #include "common.h" 19 #include "mx31.h" 20 21 static const char * const imx31_dt_board_compat[] __initconst = { 22 "fsl,imx31", 23 NULL 24 }; 25 imx31_dt_timer_init(void)26static void __init imx31_dt_timer_init(void) 27 { 28 mx31_clocks_init_dt(); 29 } 30 31 DT_MACHINE_START(IMX31_DT, "Freescale i.MX31 (Device Tree Support)") 32 .map_io = mx31_map_io, 33 .init_early = imx31_init_early, 34 .init_irq = mx31_init_irq, 35 .init_time = imx31_dt_timer_init, 36 .dt_compat = imx31_dt_board_compat, 37 MACHINE_END 38