gerrit-public.fairphone.software / kernel / msm-4.19 / f3fb9e27325c4e1730440820ea8a1e9d9a5af709 / drivers / clocksource / clps711x-timer.c