|
@@ -165,17 +165,6 @@ static struct platform_device exynos_cpuidle = {
|
|
|
.id = -1,
|
|
|
};
|
|
|
|
|
|
-void __init exynos_cpuidle_init(void)
|
|
|
-{
|
|
|
- if (soc_is_exynos4210() || soc_is_exynos5250())
|
|
|
- platform_device_register(&exynos_cpuidle);
|
|
|
-}
|
|
|
-
|
|
|
-void __init exynos_cpufreq_init(void)
|
|
|
-{
|
|
|
- platform_device_register_simple("exynos-cpufreq", -1, NULL, 0);
|
|
|
-}
|
|
|
-
|
|
|
void __iomem *sysram_base_addr;
|
|
|
void __iomem *sysram_ns_base_addr;
|
|
|
|
|
@@ -325,10 +314,11 @@ static void __init exynos_dt_machine_init(void)
|
|
|
if (!IS_ENABLED(CONFIG_SMP))
|
|
|
exynos_sysram_init();
|
|
|
|
|
|
- if (!of_machine_is_compatible("samsung,exynos5420"))
|
|
|
- exynos_cpuidle_init();
|
|
|
+ if (of_machine_is_compatible("samsung,exynos4210") ||
|
|
|
+ of_machine_is_compatible("samsung,exynos5250"))
|
|
|
+ platform_device_register(&exynos_cpuidle);
|
|
|
|
|
|
- exynos_cpufreq_init();
|
|
|
+ platform_device_register_simple("exynos-cpufreq", -1, NULL, 0);
|
|
|
|
|
|
of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
|
|
|
}
|