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);