1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright 2011 Freescale Semiconductor, Inc. All Rights Reserved.
4 * Copyright 2011 Linaro Ltd.
8 #include <linux/clkdev.h>
11 #include <linux/irq.h>
12 #include <linux/of_irq.h>
13 #include <linux/of_platform.h>
14 #include <asm/mach/arch.h>
15 #include <asm/mach/time.h>
20 static void __init
imx53_init_early(void)
22 mxc_set_cpu_type(MXC_CPU_MX53
);
25 static void __init
imx53_dt_init(void)
29 imx_aips_allow_unprivileged_access("fsl,imx53-aipstz");
32 static void __init
imx53_init_late(void)
37 static const char * const imx53_dt_board_compat
[] __initconst
= {
42 DT_MACHINE_START(IMX53_DT
, "Freescale i.MX53 (Device Tree Support)")
43 .init_early
= imx53_init_early
,
44 .init_machine
= imx53_dt_init
,
45 .init_late
= imx53_init_late
,
46 .dt_compat
= imx53_dt_board_compat
,