1 // SPDX-License-Identifier: GPL-2.0
3 // Samsung's S3C64XX flattened device tree enabled machine
5 // Copyright (c) 2013 Tomasz Figa <tomasz.figa@gmail.com>
7 #include <asm/mach/arch.h>
8 #include <asm/mach/map.h>
9 #include <asm/system_misc.h>
15 #include "watchdog-reset.h"
18 * IO mapping for shared system controller IP.
20 * FIXME: Make remaining drivers use dynamic mapping.
22 static struct map_desc s3c64xx_dt_iodesc
[] __initdata
= {
24 .virtual = (unsigned long)S3C_VA_SYS
,
25 .pfn
= __phys_to_pfn(S3C64XX_PA_SYSCON
),
31 static void __init
s3c64xx_dt_map_io(void)
34 iotable_init(s3c64xx_dt_iodesc
, ARRAY_SIZE(s3c64xx_dt_iodesc
));
38 if (!soc_is_s3c64xx())
39 panic("SoC is not S3C64xx!");
42 static void __init
s3c64xx_dt_init_machine(void)
44 samsung_wdt_reset_of_init();
47 static void s3c64xx_dt_restart(enum reboot_mode mode
, const char *cmd
)
49 if (mode
!= REBOOT_SOFT
)
52 /* if all else fails, or mode was for soft, jump to 0 */
56 static const char *const s3c64xx_dt_compat
[] __initconst
= {
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
,