diff --git a/kernel/futex_compat.c b/kernel/futex_compat.c
index ff90f049f8f6de9e5c6a01782bcb09f7df5c4bc8..04ac3a9e42cf58435dc3d3d689049e1bf1f91a8a 100644
--- a/kernel/futex_compat.c
+++ b/kernel/futex_compat.c
@@ -30,7 +30,7 @@ fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry,
 	return 0;
 }
 
-static void __user *futex_uaddr(struct robust_list *entry,
+static void __user *futex_uaddr(struct robust_list __user *entry,
 				compat_long_t futex_offset)
 {
 	compat_uptr_t base = ptr_to_compat(entry);