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
,