Symbol: futex_uaddr
kernel/futex/core.c
1290
void __user *uaddr = futex_uaddr(entry, futex_offset);
kernel/futex/core.c
1310
void __user *uaddr = futex_uaddr(pending, futex_offset);