gerrit-public.fairphone.software / kernel / msm-4.19 / f64a181d898e0518d5ae90c4870069510de977e1 / drivers / oprofile / timer_int.c