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