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