gerrit-public.fairphone.software / kernel / msm / 71b1e9e43d5199f57c109e20c0f4dffc5c048130 / Documentation / futex-requeue-pi.txt