gerrit-public.fairphone.software / kernel / msm-4.9 / 9a89c3a856236ee6b68987dd0a0195010c3b801c / drivers / cpufreq / exynos4x12-cpufreq.c