Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 3ac5086e0b5b6d93c26f2b1c150344366e5478e8)
+++ kernel/generic/include/proc/task.h	(revision 207e8880edd0594e088f82fd9dbaf16946b8317c)
@@ -133,5 +133,5 @@
 		cht_t ht;
 		/** Serializes access to futex_list.*/
-		mutex_t list_lock;
+		spinlock_t list_lock;
 		/** List of all futexes accesses by this task. */
 		list_t list;