do_futex
long do_futex(u32 __user *uaddr, int op, u32 val, ktime_t *timeout,
do_futex(tsk->clear_child_tid, FUTEX_WAKE,
return do_futex(uaddr, op, val, tp, uaddr2, (unsigned long)utime, val3);
return do_futex(uaddr, op, val, tp, uaddr2, (unsigned long)utime, val3);