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