1 files changed, 6 insertions, 1 deletions
diff --git a/kern/mutex.h b/kern/mutex.h
index f446f5fe..0e6cd46c 100644
--- a/kern/mutex.h
+++ b/kern/mutex.h
@@ -23,6 +23,7 @@
 #ifndef KERN_MUTEX_H
 #define KERN_MUTEX_H
 
+#include <stdbool.h>
 #include <stdint.h>
 
 #if defined(CONFIG_MUTEX_ADAPTIVE)
@@ -47,7 +48,11 @@ mutex_init(struct mutex *mutex)
     mutex_impl_init(mutex);
 }
 
-#define mutex_assert_locked(mutex) mutex_impl_assert_locked(mutex)
+static inline bool
+mutex_locked(const struct mutex *mutex)
+{
+    return mutex_impl_locked(mutex);
+}
 
 /*
  * Attempt to lock the given mutex.