gerrit-public.fairphone.software / kernel / msm-4.9 / fdadb6e9a5cf65c7662b2ca817856f187d05ab7d / arch / arm / mach-s3c64xx / include / mach / timex.h