1 // SPDX-License-Identifier: GPL-2.0
3 // Samsung's S3C2416 flattened device tree enabled machine
5 // Copyright (c) 2012 Heiko Stuebner <heiko@sntech.de>
7 // based on mach-exynos/mach-exynos4-dt.c
9 // Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
10 // http://www.samsung.com
11 // Copyright (c) 2010-2011 Linaro Ltd.
14 #include <linux/clocksource.h>
15 #include <linux/irqchip.h>
16 #include <linux/serial_s3c.h>
18 #include <asm/mach/arch.h>
26 static void __init s3c2416_dt_map_io(void)
28 s3c24xx_init_io(NULL, 0);
31 static void __init s3c2416_dt_machine_init(void)
36 static const char *const s3c2416_dt_compat[] __initconst = {
42 DT_MACHINE_START(S3C2416_DT, "Samsung S3C2416 (Flattened Device Tree)")
43 /* Maintainer: Heiko Stuebner <heiko@sntech.de> */
44 .dt_compat = s3c2416_dt_compat,
45 .map_io = s3c2416_dt_map_io,
46 .init_irq = irqchip_init,
47 .init_machine = s3c2416_dt_machine_init,