gerrit-public.fairphone.software / kernel / msm-4.9 / f45d20ffb654f4559648da402b1608e747d46942 / drivers / cpuidle / cpuidle-arm64.c