1 files changed, 1 insertions, 0 deletions
diff --git a/kern/mutex.h b/kern/mutex.h
index 1ed5234e..011f7033 100644
--- a/kern/mutex.h
+++ b/kern/mutex.h
@@ -27,6 +27,7 @@
 #include <kern/list.h>
 #include <kern/mutex_i.h>
 #include <kern/spinlock.h>
+#include <kern/types.h>
 
 struct mutex;