uval2            1083 kernel/futex.c 	u32 uval2;
uval2            1118 kernel/futex.c 	if (get_futex_value_locked(&uval2, uaddr))
uval2            1121 kernel/futex.c 	if (uval != uval2)
uval2            1229 kernel/futex.c 	u32 uval2;
uval2            1267 kernel/futex.c 	if (get_futex_value_locked(&uval2, uaddr))
uval2            1271 kernel/futex.c 	if (uval2 != uval)