gerrit-public.fairphone.software / kernel / msm-4.9 / c4144670fd9b34d6eae22c9f83751745898e8243 / include / linux / bcm2835_timer.h