Source
110
110
},
111
111
.state_count = 2,
112
112
.safe_state_index = 0,
113
113
};
114
114
115
115
static int exynos_cpuidle_probe(struct platform_device *pdev)
116
116
{
117
117
int ret;
118
118
119
119
if (IS_ENABLED(CONFIG_SMP) &&
120
-
of_machine_is_compatible("samsung,exynos4210")) {
120
+
(of_machine_is_compatible("samsung,exynos4210") ||
121
+
of_machine_is_compatible("samsung,exynos3250"))) {
121
122
exynos_cpuidle_pdata = pdev->dev.platform_data;
122
123
123
124
ret = cpuidle_register(&exynos_coupled_idle_driver,
124
125
cpu_possible_mask);
125
126
} else {
126
127
exynos_enter_aftr = (void *)(pdev->dev.platform_data);
127
128
128
129
ret = cpuidle_register(&exynos_idle_driver, NULL);
129
130
}
130
131