35 #define futex(uaddr, op, val, timeout, uaddr2, val3, opflags) \  argument
36 	syscall(SYS_futex, uaddr, op | opflags, val, timeout, uaddr2, val3)
43 futex_wait(u_int32_t *uaddr, u_int32_t val, struct timespec *timeout, int opflags)  in futex_wait()  argument
45 	return futex(uaddr, FUTEX_WAIT, val, timeout, NULL, 0, opflags);  in futex_wait()
53 futex_wake(u_int32_t *uaddr, int nr_wake, int opflags)  in futex_wake()  argument
55 	return futex(uaddr, FUTEX_WAKE, nr_wake, NULL, NULL, 0, opflags);  in futex_wake()
62 futex_lock_pi(u_int32_t *uaddr, struct timespec *timeout, int opflags)  in futex_lock_pi()  argument
64 	return futex(uaddr, FUTEX_LOCK_PI, 0, timeout, NULL, 0, opflags);  in futex_lock_pi()
71 futex_unlock_pi(u_int32_t *uaddr, int opflags)  in futex_unlock_pi()  argument
73 	return futex(uaddr, FUTEX_UNLOCK_PI, 0, NULL, NULL, 0, opflags);  in futex_unlock_pi()
83 		 int nr_requeue, int opflags)  in futex_cmp_requeue()  argument
86 		 val, opflags);  in futex_cmp_requeue()