1FUTEX_WAIT	0
2FUTEX_WAKE	1
3FUTEX_FD	2
4FUTEX_REQUEUE	3
5FUTEX_CMP_REQUEUE	4
6FUTEX_WAKE_OP	5
7FUTEX_LOCK_PI	6
8FUTEX_UNLOCK_PI	7
9FUTEX_TRYLOCK_PI	8
10FUTEX_WAIT_BITSET	9
11FUTEX_WAKE_BITSET	10
12FUTEX_WAIT_REQUEUE_PI	11
13FUTEX_CMP_REQUEUE_PI	12
14FUTEX_WAIT_PRIVATE	(FUTEX_WAIT | FUTEX_PRIVATE_FLAG)
15FUTEX_WAKE_PRIVATE	(FUTEX_WAKE | FUTEX_PRIVATE_FLAG)
16FUTEX_FD|FUTEX_PRIVATE_FLAG
17FUTEX_REQUEUE_PRIVATE	(FUTEX_REQUEUE | FUTEX_PRIVATE_FLAG)
18FUTEX_CMP_REQUEUE_PRIVATE	(FUTEX_CMP_REQUEUE | FUTEX_PRIVATE_FLAG)
19FUTEX_WAKE_OP_PRIVATE	(FUTEX_WAKE_OP | FUTEX_PRIVATE_FLAG)
20FUTEX_LOCK_PI_PRIVATE	(FUTEX_LOCK_PI | FUTEX_PRIVATE_FLAG)
21FUTEX_UNLOCK_PI_PRIVATE	(FUTEX_UNLOCK_PI | FUTEX_PRIVATE_FLAG)
22FUTEX_TRYLOCK_PI_PRIVATE	(FUTEX_TRYLOCK_PI | FUTEX_PRIVATE_FLAG)
23FUTEX_WAIT_BITSET_PRIVATE	(FUTEX_WAIT_BITSET | FUTEX_PRIVATE_FLAG)
24FUTEX_WAKE_BITSET_PRIVATE	(FUTEX_WAKE_BITSET | FUTEX_PRIVATE_FLAG)
25FUTEX_WAIT_REQUEUE_PI_PRIVATE	(FUTEX_WAIT_REQUEUE_PI | FUTEX_PRIVATE_FLAG)
26FUTEX_CMP_REQUEUE_PI_PRIVATE	(FUTEX_CMP_REQUEUE_PI | FUTEX_PRIVATE_FLAG)
27FUTEX_WAIT|FUTEX_CLOCK_REALTIME
28FUTEX_WAIT_PRIVATE|FUTEX_CLOCK_REALTIME
29FUTEX_WAIT_BITSET|FUTEX_CLOCK_REALTIME
30FUTEX_WAIT_BITSET_PRIVATE|FUTEX_CLOCK_REALTIME
31FUTEX_WAIT_REQUEUE_PI|FUTEX_CLOCK_REALTIME
32FUTEX_WAIT_REQUEUE_PI_PRIVATE|FUTEX_CLOCK_REALTIME
33