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