Index: kernel/generic/include/synch/mutex.h
===================================================================
--- kernel/generic/include/synch/mutex.h	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/generic/include/synch/mutex.h	(revision 84a1a546f62a2ba0f913f8f1bfce8d4bc68d7aa4)
@@ -43,10 +43,15 @@
 typedef enum {
 	MUTEX_PASSIVE,
+	MUTEX_RECURSIVE,
 	MUTEX_ACTIVE
 } mutex_type_t;
+
+struct thread;
 
 typedef struct {
 	mutex_type_t type;
 	semaphore_t sem;
+	struct thread *owner;
+	unsigned nesting;
 } mutex_t;