2 * Samsung's S3C2416 flattened device tree enabled machine
4 * Copyright (c) 2012 Heiko Stuebner <heiko@sntech.de>
6 * based on mach-exynos/mach-exynos4-dt.c
8 * Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
9 * http://www.samsung.com
10 * Copyright (c) 2010-2011 Linaro Ltd.
13 * This program is free software; you can redistribute it and/or modify
14 * it under the terms of the GNU General Public License version 2 as
15 * published by the Free Software Foundation.
18 #include <linux/clocksource.h>
19 #include <linux/irqchip.h>
20 #include <linux/of_platform.h>
21 #include <linux/serial_s3c.h>
23 #include <asm/mach/arch.h>
31 static void __init
s3c2416_dt_map_io(void)
33 s3c24xx_init_io(NULL
, 0);
36 static void __init
s3c2416_dt_machine_init(void)
38 of_platform_populate(NULL
, of_default_bus_match_table
, NULL
, NULL
);
42 static char const *s3c2416_dt_compat
[] __initdata
= {
48 DT_MACHINE_START(S3C2416_DT
, "Samsung S3C2416 (Flattened Device Tree)")
49 /* Maintainer: Heiko Stuebner <heiko@sntech.de> */
50 .dt_compat
= s3c2416_dt_compat
,
51 .map_io
= s3c2416_dt_map_io
,
52 .init_irq
= irqchip_init
,
53 .init_machine
= s3c2416_dt_machine_init
,
54 .restart
= s3c2416_restart
,