// SPDX-License-Identifier: GPL-2.0
|
//
|
// Samsung's S3C2416 flattened device tree enabled machine
|
//
|
// Copyright (c) 2012 Heiko Stuebner <heiko@sntech.de>
|
//
|
// based on mach-exynos/mach-exynos4-dt.c
|
//
|
// Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
|
// http://www.samsung.com
|
// Copyright (c) 2010-2011 Linaro Ltd.
|
// www.linaro.org
|
|
#include <linux/clocksource.h>
|
#include <linux/irqchip.h>
|
#include <linux/serial_s3c.h>
|
|
#include <asm/mach/arch.h>
|
#include "map.h"
|
|
#include "cpu.h"
|
#include "pm.h"
|
|
#include "s3c24xx.h"
|
|
static void __init s3c2416_dt_map_io(void)
|
{
|
s3c24xx_init_io(NULL, 0);
|
}
|
|
static void __init s3c2416_dt_machine_init(void)
|
{
|
s3c_pm_init();
|
}
|
|
static const char *const s3c2416_dt_compat[] __initconst = {
|
"samsung,s3c2416",
|
"samsung,s3c2450",
|
NULL
|
};
|
|
DT_MACHINE_START(S3C2416_DT, "Samsung S3C2416 (Flattened Device Tree)")
|
/* Maintainer: Heiko Stuebner <heiko@sntech.de> */
|
.dt_compat = s3c2416_dt_compat,
|
.map_io = s3c2416_dt_map_io,
|
.init_irq = irqchip_init,
|
.init_machine = s3c2416_dt_machine_init,
|
MACHINE_END
|
