gerrit-public.fairphone.software / kernel / msm-5.4 / 419c434c35614609fd0c79d335c134bf4b88b30b / drivers / oprofile / timer_int.c