gerrit-public.fairphone.software / kernel / msm-5.4 / 00622e61eda46c7f8833afbee6bd34449a9a4e7e / drivers / cpufreq / vexpress-spc-cpufreq.c