0001
0002
0003
0004
0005
0006
0007
0008 #include <linux/irq.h>
0009 #include <linux/irqdomain.h>
0010 #include <linux/of_irq.h>
0011 #include <linux/of_platform.h>
0012 #include <linux/clk-provider.h>
0013 #include <linux/clocksource.h>
0014 #include <asm/mach/arch.h>
0015 #include <asm/mach/time.h>
0016 #include <asm/hardware/cache-l2x0.h>
0017 #include "common.h"
0018 #include "mx35.h"
0019
0020 static const char * const imx35_dt_board_compat[] __initconst = {
0021 "fsl,imx35",
0022 NULL
0023 };
0024
0025 DT_MACHINE_START(IMX35_DT, "Freescale i.MX35 (Device Tree Support)")
0026 .l2c_aux_val = 0,
0027 .l2c_aux_mask = ~0,
0028 .map_io = mx35_map_io,
0029 .init_early = imx35_init_early,
0030 .dt_compat = imx35_dt_board_compat,
0031 MACHINE_END