1 // SPDX-License-Identifier: GPL-2.0
2 //
3 // Samsung's S3C64XX flattened device tree enabled machine
4 //
5 // Copyright (c) 2013 Tomasz Figa <tomasz.figa@gmail.com>
6
7 #include <asm/mach/arch.h>
8 #include <asm/mach/map.h>
9 #include <asm/system_misc.h>
10
11 #include <plat/cpu.h>
12 #include <mach/map.h>
13
14 #include "common.h"
15 #include "watchdog-reset.h"
16
17 /*
18 * IO mapping for shared system controller IP.
19 *
20 * FIXME: Make remaining drivers use dynamic mapping.
21 */
22 static struct map_desc s3c64xx_dt_iodesc[] __initdata = {
23 {
24 .virtual = (unsigned long)S3C_VA_SYS,
25 .pfn = __phys_to_pfn(S3C64XX_PA_SYSCON),
26 .length = SZ_4K,
27 .type = MT_DEVICE,
28 },
29 };
30
s3c64xx_dt_map_io(void)31 static void __init s3c64xx_dt_map_io(void)
32 {
33 debug_ll_io_init();
34 iotable_init(s3c64xx_dt_iodesc, ARRAY_SIZE(s3c64xx_dt_iodesc));
35
36 s3c64xx_init_cpu();
37
38 if (!soc_is_s3c64xx())
39 panic("SoC is not S3C64xx!");
40 }
41
s3c64xx_dt_init_machine(void)42 static void __init s3c64xx_dt_init_machine(void)
43 {
44 samsung_wdt_reset_of_init();
45 }
46
s3c64xx_dt_restart(enum reboot_mode mode,const char * cmd)47 static void s3c64xx_dt_restart(enum reboot_mode mode, const char *cmd)
48 {
49 if (mode != REBOOT_SOFT)
50 samsung_wdt_reset();
51
52 /* if all else fails, or mode was for soft, jump to 0 */
53 soft_restart(0);
54 }
55
56 static const char *const s3c64xx_dt_compat[] __initconst = {
57 "samsung,s3c6400",
58 "samsung,s3c6410",
59 NULL
60 };
61
62 DT_MACHINE_START(S3C6400_DT, "Samsung S3C64xx (Flattened Device Tree)")
63 /* Maintainer: Tomasz Figa <tomasz.figa@gmail.com> */
64 .dt_compat = s3c64xx_dt_compat,
65 .map_io = s3c64xx_dt_map_io,
66 .init_machine = s3c64xx_dt_init_machine,
67 .restart = s3c64xx_dt_restart,
68 MACHINE_END
69
