gerrit-public.fairphone.software / kernel / msm-4.19 / 8ae8cd6c3e2519128224c2fce0dbfd7a9e32c66c / drivers / cpufreq / vexpress-spc-cpufreq.c