Rework assertive functions

Instead of combining assertions and checking into single functions,
rework those into pure checking functions usable with assert().

Those functions were introduced because of warnings about unused
functions/variables caused by an earlier implementation of assert().

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.