futex_uaddr 4039 kernel/futex.c void __user *uaddr = futex_uaddr(entry, futex_offset); futex_uaddr 4059 kernel/futex.c void __user *uaddr = futex_uaddr(pending, futex_offset);