futex_uaddr        92 kernel/futex_compat.c 			void __user *uaddr = futex_uaddr(entry, futex_offset);
futex_uaddr       111 kernel/futex_compat.c 		void __user *uaddr = futex_uaddr(pending, futex_offset);