1 files changed, 7 insertions, 2 deletions
diff --git a/kern/rtmutex.c b/kern/rtmutex.c
index 7457196d..55d17cdc 100644
--- a/kern/rtmutex.c
+++ b/kern/rtmutex.c
@@ -240,9 +240,14 @@ rtmutex_setup(void)
     return 0;
 }
 
-INIT_OP_DEFINE(rtmutex_setup,
-               INIT_OP_DEP(rtmutex_bootstrap, true),
 #ifdef CONFIG_MUTEX_DEBUG
+#define RTMUTEX_DEBUG_INIT_OPS                  \
                INIT_OP_DEP(syscnt_setup, true),
+#else /* CONFIG_MUTEX_DEBUG */
+#define RTMUTEX_DEBUG_INIT_OPS
 #endif /* CONFIG_MUTEX_DEBUG */
+
+INIT_OP_DEFINE(rtmutex_setup,
+               INIT_OP_DEP(rtmutex_bootstrap, true),
+               RTMUTEX_DEBUG_INIT_OPS
 );