uaddr1           1772 kernel/futex.c futex_wake_op(u32 __user *uaddr1, unsigned int flags, u32 __user *uaddr2,
uaddr1           1782 kernel/futex.c 	ret = get_futex_key(uaddr1, flags & FLAGS_SHARED, &key1, FUTEX_READ);
uaddr1           2015 kernel/futex.c static int futex_requeue(u32 __user *uaddr1, unsigned int flags,
uaddr1           2043 kernel/futex.c 		if (uaddr1 == uaddr2)
uaddr1           2067 kernel/futex.c 	ret = get_futex_key(uaddr1, flags & FLAGS_SHARED, &key1, FUTEX_READ);
uaddr1           2094 kernel/futex.c 		ret = get_futex_value_locked(&curval, uaddr1);
uaddr1           2100 kernel/futex.c 			ret = get_user(curval, uaddr1);