Copyright for FUTEX_LOCK_PI.2const:
Copyright, the authors of the Linux man-pages project
License for FUTEX_LOCK_PI.2const:
may be freely modified and distributed