gerrit-public.fairphone.software / fp2-dev / kernel / msm / 44a7f1d063bbe45773353903f36d9d88fb73d82a / drivers / oprofile / timer_int.c