Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision ba368a66d4b0e4fdaa1fec21fe6fd4bac79a39b8)
+++ kernel/generic/src/synch/futex.c	(revision 85eba4cfd62daabbcc27226f9c448ae8aaad1a70)
@@ -298,5 +298,5 @@
 	
 	futex_t *futex;
-	cht_link_t *futex_ptr_link = cht_find(&TASK->futexes->ht, &uaddr);
+	cht_link_t *futex_ptr_link = cht_find_lazy(&TASK->futexes->ht, &uaddr);
 
 	if (futex_ptr_link) {
