50 #define futex(uaddr, op, val, timeout, uaddr2, val3, opflags) \  argument
51 	syscall(SYS_futex, uaddr, op | opflags, val, timeout, uaddr2, val3)
58 futex_wait(u_int32_t *uaddr, u_int32_t val, struct timespec *timeout, int opflags)  in futex_wait()  argument
60 	return futex(uaddr, FUTEX_WAIT, val, timeout, NULL, 0, opflags);  in futex_wait()
68 futex_wake(u_int32_t *uaddr, int nr_wake, int opflags)  in futex_wake()  argument
70 	return futex(uaddr, FUTEX_WAKE, nr_wake, NULL, NULL, 0, opflags);  in futex_wake()
77 futex_lock_pi(u_int32_t *uaddr, struct timespec *timeout, int opflags)  in futex_lock_pi()  argument
79 	return futex(uaddr, FUTEX_LOCK_PI, 0, timeout, NULL, 0, opflags);  in futex_lock_pi()
86 futex_unlock_pi(u_int32_t *uaddr, int opflags)  in futex_unlock_pi()  argument
88 	return futex(uaddr, FUTEX_UNLOCK_PI, 0, NULL, NULL, 0, opflags);  in futex_unlock_pi()
98 		 int nr_requeue, int opflags)  in futex_cmp_requeue()  argument
101 		 val, opflags);  in futex_cmp_requeue()
114 		      struct timespec *timeout, int opflags)  in futex_wait_requeue_pi()  argument
117 		     opflags);  in futex_wait_requeue_pi()
131 		     int nr_requeue, int opflags)  in futex_cmp_requeue_pi()  argument
134 		     val, opflags);  in futex_cmp_requeue_pi()