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>
20 #include <asm/mach/arch.h>
25 static void __init exynos4_dt_machine_init(void)
27 exynos_cpuidle_init();
29 of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
32 static char const *exynos4_dt_compat[] __initdata = {
39 static void __init exynos4_reserve(void)
41 #ifdef CONFIG_S5P_DEV_MFC
42 struct s5p_mfc_dt_meminfo mfc_mem;
44 /* Reserve memory for MFC only if it's available */
45 mfc_mem.compatible = "samsung,mfc-v5";
46 if (of_scan_flat_dt(s5p_fdt_find_mfc_mem, &mfc_mem))
47 s5p_mfc_reserve_mem(mfc_mem.roff, mfc_mem.rsize, mfc_mem.loff,
51 DT_MACHINE_START(EXYNOS4210_DT, "Samsung Exynos4 (Flattened Device Tree)")
52 /* Maintainer: Thomas Abraham <thomas.abraham@linaro.org> */
53 .smp = smp_ops(exynos_smp_ops),
54 .map_io = exynos_init_io,
55 .init_early = exynos_firmware_init,
56 .init_machine = exynos4_dt_machine_init,
57 .init_late = exynos_init_late,
58 .dt_compat = exynos4_dt_compat,
59 .restart = exynos4_restart,
60 .reserve = exynos4_reserve,