do_futex           78 include/linux/futex.h long do_futex(u32 __user *uaddr, int op, u32 val, ktime_t *timeout,
do_futex         1306 kernel/fork.c  			do_futex(tsk->clear_child_tid, FUTEX_WAKE,
do_futex         3959 kernel/futex.c 	return do_futex(uaddr, op, val, tp, uaddr2, val2, val3);
do_futex         4147 kernel/futex.c 	return do_futex(uaddr, op, val, tp, uaddr2, val2, val3);