Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 69146b93ef5ca7beba675e46730ac8d6d5a24316)
+++ 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;
