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