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