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()
64 	      int opflags)  in futex_lock_pi()  argument
66 	return futex(uaddr, FUTEX_LOCK_PI, detect, timeout, NULL, 0, opflags);  in futex_lock_pi()
73 futex_unlock_pi(u_int32_t *uaddr, int opflags)  in futex_unlock_pi()  argument
75 	return futex(uaddr, FUTEX_UNLOCK_PI, 0, NULL, NULL, 0, opflags);  in futex_unlock_pi()
85 		 int nr_requeue, int opflags)  in futex_cmp_requeue()  argument
88 		 val, opflags);  in futex_cmp_requeue()