gerrit-public.fairphone.software / kernel / msm-4.9 / f6e1a73b66bdf41765e762eda0f4ecb7d987ea57 / Documentation / futex-requeue-pi.txt