2 * Copyright (C) 2016 Linaro.
3 * Viresh Kumar <viresh.kumar@linaro.org>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License version 2 as
7 * published by the Free Software Foundation.
10 #include <linux/err.h>
12 #include <linux/platform_device.h>
14 static const struct of_device_id machines[] __initconst = {
15 { .compatible = "marvell,berlin", },
17 { .compatible = "samsung,exynos3250", },
18 { .compatible = "samsung,exynos4210", },
19 { .compatible = "samsung,exynos4212", },
20 { .compatible = "samsung,exynos4412", },
21 { .compatible = "samsung,exynos5250", },
22 #ifndef CONFIG_BL_SWITCHER
23 { .compatible = "samsung,exynos5420", },
24 { .compatible = "samsung,exynos5800", },
28 static int __init cpufreq_dt_platdev_init(void)
30 struct device_node *np = of_find_node_by_path("/");
35 if (!of_match_node(machines, np))
40 return PTR_ERR_OR_ZERO(platform_device_register_simple("cpufreq-dt", -1,
43 device_initcall(cpufreq_dt_platdev_init);