1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Copyright 2012 Steffen Trumtrar, Pengutronix 4 * 5 * based on imx27-dt.c 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 <linux/clk-provider.h> 13 #include <linux/clocksource.h> 14 #include <asm/mach/arch.h> 15 #include <asm/mach/time.h> 16 #include <asm/hardware/cache-l2x0.h> 17 #include "common.h" 18 #include "mx35.h" 19 20 static const char * const imx35_dt_board_compat[] __initconst = { 21 "fsl,imx35", 22 NULL 23 }; 24 25 DT_MACHINE_START(IMX35_DT, "Freescale i.MX35 (Device Tree Support)") 26 .l2c_aux_val = 0, 27 .l2c_aux_mask = ~0, 28 .map_io = mx35_map_io, 29 .init_early = imx35_init_early, 30 .init_irq = mx35_init_irq, 31 .dt_compat = imx35_dt_board_compat, 32 MACHINE_END 33