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