gerrit-public.fairphone.software / kernel / msm-4.9 / e990a4060fcb78a1576d36e7327db11c0d278a6b / arch / arm / mach-exynos4 / cpuidle.c