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, 2 deletions

diff --git a/kern/mutex/mutex_pi_i.h b/kern/mutex/mutex_pi_i.h
index f3bb28fa..1b79c202 100644
--- a/kern/mutex/mutex_pi_i.h
+++ b/kern/mutex/mutex_pi_i.h
@@ -23,6 +23,7 @@
        " use <kern/mutex.h> instead"
 #endif
 
+#include <stdbool.h>
 #include <stdint.h>
 
 #include <kern/mutex_types.h>
@@ -38,8 +39,11 @@ mutex_impl_init(struct mutex *mutex)
     rtmutex_init(&mutex->rtmutex);
 }
 
-#define mutex_impl_assert_locked(mutex) \
-    rtmutex_assert_locked(&(mutex)->rtmutex)
+static inline bool
+mutex_impl_locked(const struct mutex *mutex)
+{
+    return rtmutex_locked(&mutex->rtmutex);
+}
 
 static inline int
 mutex_impl_trylock(struct mutex *mutex)