gerrit-public.fairphone.software / kernel / msm-4.9 / 3be07244b7337760a3269d56b2f4a63e72218648 / drivers / cpufreq / vexpress-spc-cpufreq.c