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