gerrit-public.fairphone.software / fp2-dev / kernel / msm / 3141eb6c50f1dafa99874e702d8b444034e2bb10 / arch / arm / mach-lh7a40x / include / mach / timex.h