do_futex           85 include/linux/futex.h static inline long do_futex(u32 __user *uaddr, int op, u32 val,
do_futex         3867 kernel/futex.c long do_futex(u32 __user *uaddr, int op, u32 val, ktime_t *timeout,