|
@@ -23,11 +23,6 @@
|
|
|
|
|
|
#include "common.h"
|
|
|
|
|
|
-static void __init exynos4_dt_map_io(void)
|
|
|
-{
|
|
|
- exynos_init_io(NULL, 0);
|
|
|
-}
|
|
|
-
|
|
|
static void __init exynos4_dt_machine_init(void)
|
|
|
{
|
|
|
of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
|
|
@@ -55,7 +50,7 @@ static void __init exynos4_reserve(void)
|
|
|
DT_MACHINE_START(EXYNOS4210_DT, "Samsung Exynos4 (Flattened Device Tree)")
|
|
|
/* Maintainer: Thomas Abraham <thomas.abraham@linaro.org> */
|
|
|
.smp = smp_ops(exynos_smp_ops),
|
|
|
- .map_io = exynos4_dt_map_io,
|
|
|
+ .map_io = exynos_init_io,
|
|
|
.init_early = exynos_firmware_init,
|
|
|
.init_machine = exynos4_dt_machine_init,
|
|
|
.init_late = exynos_init_late,
|