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