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