| FUTEX_WAIT |
| FUTEX_WAKE |
| FUTEX_FD |
| FUTEX_REQUEUE |
| FUTEX_CMP_REQUEUE |
| FUTEX_WAKE_OP |
| FUTEX_LOCK_PI |
| FUTEX_UNLOCK_PI |
| FUTEX_TRYLOCK_PI |
| FUTEX_WAIT_BITSET |
| FUTEX_WAKE_BITSET |
| FUTEX_WAIT_REQUEUE_PI |
| FUTEX_CMP_REQUEUE_PI |
| FUTEX_WAIT_PRIVATE |
| FUTEX_WAKE_PRIVATE |
| FUTEX_FD|FUTEX_PRIVATE_FLAG |
| FUTEX_REQUEUE_PRIVATE |
| FUTEX_CMP_REQUEUE_PRIVATE |
| FUTEX_WAKE_OP_PRIVATE |
| FUTEX_LOCK_PI_PRIVATE |
| FUTEX_UNLOCK_PI_PRIVATE |
| FUTEX_TRYLOCK_PI_PRIVATE |
| FUTEX_WAIT_BITSET_PRIVATE |
| FUTEX_WAKE_BITSET_PRIVATE |
| FUTEX_WAIT_REQUEUE_PI_PRIVATE |
| FUTEX_CMP_REQUEUE_PI_PRIVATE |
| FUTEX_WAIT_BITSET|FUTEX_CLOCK_REALTIME |
| FUTEX_WAIT_BITSET_PRIVATE|FUTEX_CLOCK_REALTIME |
| FUTEX_WAIT_REQUEUE_PI|FUTEX_CLOCK_REALTIME |
| FUTEX_WAIT_REQUEUE_PI_PRIVATE|FUTEX_CLOCK_REALTIME |
