linux_futex_requeue
return (linux_futex_requeue(td, args));
static int linux_futex_requeue(struct thread *, struct linux_futex_args *);