1 files changed, 1 insertions, 6 deletions
diff --git a/kern/mutex_i.h b/kern/mutex_i.h
index 85b827d8..a5c1ba31 100644
--- a/kern/mutex_i.h
+++ b/kern/mutex_i.h
@@ -22,6 +22,7 @@
 #include <kern/list.h>
 #include <kern/spinlock.h>
 #include <kern/thread.h>
+#include <kern/types.h>
 #include <machine/atomic.h>
 
 #define MUTEX_UNLOCKED  0
@@ -33,12 +34,6 @@ struct mutex_waiter {
     struct thread *thread;
 };
 
-struct mutex {
-    unsigned int state;
-    struct spinlock lock;
-    struct list waiters;
-};
-
 void mutex_lock_slow(struct mutex *mutex);
 
 void mutex_unlock_slow(struct mutex *mutex);