// SPDX-License-Identifier: GPL-2.0
|
//
|
// Samsung's S3C64XX flattened device tree enabled machine
|
//
|
// Copyright (c) 2013 Tomasz Figa <tomasz.figa@gmail.com>
|
|
#include <asm/mach/arch.h>
|
#include <asm/mach/map.h>
|
#include <asm/system_misc.h>
|
|
#include <plat/cpu.h>
|
#include <mach/map.h>
|
|
#include "common.h"
|
#include "watchdog-reset.h"
|
|
/*
|
* IO mapping for shared system controller IP.
|
*
|
* FIXME: Make remaining drivers use dynamic mapping.
|
*/
|
static struct map_desc s3c64xx_dt_iodesc[] __initdata = {
|
{
|
.virtual = (unsigned long)S3C_VA_SYS,
|
.pfn = __phys_to_pfn(S3C64XX_PA_SYSCON),
|
.length = SZ_4K,
|
.type = MT_DEVICE,
|
},
|
};
|
|
static void __init s3c64xx_dt_map_io(void)
|
{
|
debug_ll_io_init();
|
iotable_init(s3c64xx_dt_iodesc, ARRAY_SIZE(s3c64xx_dt_iodesc));
|
|
s3c64xx_init_cpu();
|
|
if (!soc_is_s3c64xx())
|
panic("SoC is not S3C64xx!");
|
}
|
|
static void __init s3c64xx_dt_init_machine(void)
|
{
|
samsung_wdt_reset_of_init();
|
}
|
|
static void s3c64xx_dt_restart(enum reboot_mode mode, const char *cmd)
|
{
|
if (mode != REBOOT_SOFT)
|
samsung_wdt_reset();
|
|
/* if all else fails, or mode was for soft, jump to 0 */
|
soft_restart(0);
|
}
|
|
static const char *const s3c64xx_dt_compat[] __initconst = {
|
"samsung,s3c6400",
|
"samsung,s3c6410",
|
NULL
|
};
|
|
DT_MACHINE_START(S3C6400_DT, "Samsung S3C64xx (Flattened Device Tree)")
|
/* Maintainer: Tomasz Figa <tomasz.figa@gmail.com> */
|
.dt_compat = s3c64xx_dt_compat,
|
.map_io = s3c64xx_dt_map_io,
|
.init_machine = s3c64xx_dt_init_machine,
|
.restart = s3c64xx_dt_restart,
|
MACHINE_END
|
