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