0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014 #include <linux/clocksource.h>
0015 #include <linux/irqchip.h>
0016 #include <linux/serial_s3c.h>
0017
0018 #include <asm/mach/arch.h>
0019 #include "map.h"
0020
0021 #include "cpu.h"
0022 #include "pm.h"
0023
0024 #include "s3c24xx.h"
0025
0026 static void __init s3c2416_dt_map_io(void)
0027 {
0028 s3c24xx_init_io(NULL, 0);
0029 }
0030
0031 static void __init s3c2416_dt_machine_init(void)
0032 {
0033 s3c_pm_init();
0034 }
0035
0036 static const char *const s3c2416_dt_compat[] __initconst = {
0037 "samsung,s3c2416",
0038 "samsung,s3c2450",
0039 NULL
0040 };
0041
0042 DT_MACHINE_START(S3C2416_DT, "Samsung S3C2416 (Flattened Device Tree)")
0043
0044 .dt_compat = s3c2416_dt_compat,
0045 .map_io = s3c2416_dt_map_io,
0046 .init_irq = irqchip_init,
0047 .init_machine = s3c2416_dt_machine_init,
0048 MACHINE_END