1 files changed, 9 insertions, 0 deletions
diff --git a/kern/mutex.h b/kern/mutex.h
index 2936d82f..f192a70a 100644
--- a/kern/mutex.h
+++ b/kern/mutex.h
@@ -35,6 +35,7 @@
 #include <kern/mutex/mutex_plain_i.h>
 #endif
 
+#include <kern/init.h>
 #include <kern/mutex_types.h>
 #include <kern/thread.h>
 
@@ -93,4 +94,12 @@ mutex_unlock(struct mutex *mutex)
     thread_wakeup_last_cond();
 }
 
+/*
+ * This init operation provides :
+ *  - uncontended mutex locking
+ *
+ * Contended locking may only occur after starting the scheduler.
+ */
+INIT_OP_DECLARE(mutex_setup);
+
 #endif /* _KERN_MUTEX_H */