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>
17 * IO mapping for shared system controller IP.
19 * FIXME: Make remaining drivers use dynamic mapping.
21 static struct map_desc s3c64xx_dt_iodesc[] __initdata = {
23 .virtual = (unsigned long)S3C_VA_SYS,
24 .pfn = __phys_to_pfn(S3C64XX_PA_SYSCON),
30 static void __init s3c64xx_dt_map_io(void)
33 iotable_init(s3c64xx_dt_iodesc, ARRAY_SIZE(s3c64xx_dt_iodesc));
37 if (!soc_is_s3c64xx())
38 panic("SoC is not S3C64xx!");
41 static const char *const s3c64xx_dt_compat[] __initconst = {
47 DT_MACHINE_START(S3C6400_DT, "Samsung S3C64xx (Flattened Device Tree)")
48 /* Maintainer: Tomasz Figa <tomasz.figa@gmail.com> */
49 .dt_compat = s3c64xx_dt_compat,
50 .map_io = s3c64xx_dt_map_io,