2 * Samsung's S3C64XX flattened device tree enabled machine
4 * Copyright (c) 2013 Tomasz Figa <tomasz.figa@gmail.com>
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
11 #include <linux/clk-provider.h>
12 #include <linux/irqchip.h>
13 #include <linux/of_platform.h>
15 #include <asm/mach/arch.h>
16 #include <asm/mach/map.h>
17 #include <asm/system_misc.h>
20 #include <plat/watchdog-reset.h>
27 * IO mapping for shared system controller IP.
29 * FIXME: Make remaining drivers use dynamic mapping.
31 static struct map_desc s3c64xx_dt_iodesc
[] __initdata
= {
33 .virtual = (unsigned long)S3C_VA_SYS
,
34 .pfn
= __phys_to_pfn(S3C64XX_PA_SYSCON
),
40 static void __init
s3c64xx_dt_map_io(void)
43 iotable_init(s3c64xx_dt_iodesc
, ARRAY_SIZE(s3c64xx_dt_iodesc
));
47 if (!soc_is_s3c64xx())
48 panic("SoC is not S3C64xx!");
51 static void __init
s3c64xx_dt_init_irq(void)
54 samsung_wdt_reset_of_init();
58 static void __init
s3c64xx_dt_init_machine(void)
60 of_platform_populate(NULL
, of_default_bus_match_table
, NULL
, NULL
);
63 static void s3c64xx_dt_restart(enum reboot_mode mode
, const char *cmd
)
65 if (mode
!= REBOOT_SOFT
)
68 /* if all else fails, or mode was for soft, jump to 0 */
72 static char const *s3c64xx_dt_compat
[] __initdata
= {
78 DT_MACHINE_START(S3C6400_DT
, "Samsung S3C64xx (Flattened Device Tree)")
79 /* Maintainer: Tomasz Figa <tomasz.figa@gmail.com> */
80 .dt_compat
= s3c64xx_dt_compat
,
81 .map_io
= s3c64xx_dt_map_io
,
82 .init_irq
= s3c64xx_dt_init_irq
,
83 .init_machine
= s3c64xx_dt_init_machine
,
84 .restart
= s3c64xx_dt_restart
,