gerrit-public.fairphone.software / kernel / msm-4.19 / 88f50c80748bf5238c88e70ee26c68ac48b94e68 / drivers / cpufreq / exynos4x12-cpufreq.c