gerrit-public.fairphone.software / kernel / msm-4.9 / 2db76d7c3c6db93058f983c8240f7c7c25e87ee6 / Documentation / futex-requeue-pi.txt