gerrit-public.fairphone.software / kernel / msm-4.19 / 96a02917a0131e52efefde49c2784c0421d6c439 / drivers / cpufreq / exynos4x12-cpufreq.c