gerrit-public.fairphone.software / kernel / msm-4.9 / 7dfb1716d717e41c07410bab52760d865caee12b / include / asm-arm / arch-ks8695 / regs-timer.h