1
2
3
4
5
6
7
8
9
10
11
12
13
14#include <linux/clocksource.h>
15#include <linux/irqchip.h>
16#include <linux/serial_s3c.h>
17
18#include <asm/mach/arch.h>
19#include <mach/map.h>
20
21#include <plat/cpu.h>
22#include <plat/pm.h>
23
24#include "common.h"
25
26static void __init s3c2416_dt_map_io(void)
27{
28 s3c24xx_init_io(NULL, 0);
29}
30
31static void __init s3c2416_dt_machine_init(void)
32{
33 s3c_pm_init();
34}
35
36static const char *const s3c2416_dt_compat[] __initconst = {
37 "samsung,s3c2416",
38 "samsung,s3c2450",
39 NULL
40};
41
42DT_MACHINE_START(S3C2416_DT, "Samsung S3C2416 (Flattened Device Tree)")
43
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,
48MACHINE_END
49