2 * Samsung's EXYNOS4 flattened device tree enabled machine
4 * Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
5 * http://www.samsung.com
6 * Copyright (c) 2010-2011 Linaro Ltd.
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License version 2 as
11 * published by the Free Software Foundation.
14 #include <linux/kernel.h>
15 #include <linux/of_platform.h>
16 #include <linux/of_fdt.h>
17 #include <linux/serial_core.h>
18 #include <linux/memblock.h>
19 #include <linux/clocksource.h>
21 #include <asm/mach/arch.h>
26 static void __init exynos4_dt_map_io(void)
28 exynos_init_io(NULL, 0);
31 static void __init exynos4_dt_machine_init(void)
33 of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
36 static char const *exynos4_dt_compat[] __initdata = {
43 static void __init exynos4_reserve(void)
45 #ifdef CONFIG_S5P_DEV_MFC
46 struct s5p_mfc_dt_meminfo mfc_mem;
48 /* Reserve memory for MFC only if it's available */
49 mfc_mem.compatible = "samsung,mfc-v5";
50 if (of_scan_flat_dt(s5p_fdt_find_mfc_mem, &mfc_mem))
51 s5p_mfc_reserve_mem(mfc_mem.roff, mfc_mem.rsize, mfc_mem.loff,
55 DT_MACHINE_START(EXYNOS4210_DT, "Samsung Exynos4 (Flattened Device Tree)")
56 /* Maintainer: Thomas Abraham <thomas.abraham@linaro.org> */
57 .smp = smp_ops(exynos_smp_ops),
58 .init_irq = exynos4_init_irq,
59 .map_io = exynos4_dt_map_io,
60 .init_early = exynos_firmware_init,
61 .init_machine = exynos4_dt_machine_init,
62 .init_late = exynos_init_late,
63 .init_time = exynos_init_time,
64 .dt_compat = exynos4_dt_compat,
65 .restart = exynos4_restart,
66 .reserve = exynos4_reserve,