1 files changed, 9 insertions, 0 deletions
diff --git a/kern/mutex.h b/kern/mutex.h
index f152d317..10872e6e 100644
--- a/kern/mutex.h
+++ b/kern/mutex.h
@@ -111,6 +111,15 @@ mutex_unlock(struct mutex *mutex)
 }
 
 /*
+ * Special init operation for syscnt_setup.
+ *
+ * This init operation only exists to avoid a circular dependency between
+ * syscnt_setup and mutex_setup, without giving syscnt_setup knowledge
+ * about the dependencies of mutex_setup.
+ */
+INIT_OP_DECLARE(mutex_bootstrap);
+
+/*
  * This init operation provides :
  *  - uncontended mutex locking
  *