@@ -181,7 +181,20 @@ void __init exynos_cpuidle_init(void)
void __init exynos_cpufreq_init(void)
{
- platform_device_register_simple("exynos-cpufreq", -1, NULL, 0);
+ char *dev_name;
+
+ if (of_machine_is_compatible("samsung,exynos5440"))
+ return;
+ if (of_machine_is_compatible("samsung,exynos5420"))
+ dev_name = "arm-bL-cpufreq-dt";
+ else
+ if (of_machine_is_compatible("samsung,exynos4412") ||
+ of_machine_is_compatible("samsung,exynos4212"))
+ dev_name = "exynos-cpufreq";
+ else
+ dev_name = "cpufreq-cpu0";
+
+ platform_device_register_simple(dev_name, -1, NULL, 0);
}
void __iomem *sysram_base_addr;