kern/mutex: implement the --enable-mutex-pi option

This option turns all regular mutexes into real-time mutexes.

1 files changed, 16 insertions, 0 deletions

diff --git a/kern/mutex_types.h b/kern/mutex_types.h
index e3126b10..4b7947fc 100644
--- a/kern/mutex_types.h
+++ b/kern/mutex_types.h
@@ -21,8 +21,24 @@
 #ifndef _KERN_MUTEX_TYPES_H
 #define _KERN_MUTEX_TYPES_H
 
+#ifdef X15_MUTEX_PI
+
+#include <kern/rtmutex_types.h>
+
+/*
+ * Do not directly alias rtmutex to make sure they cannot be used
+ * with condition variables by mistake.
+ */
+struct mutex {
+    struct rtmutex rtmutex;
+};
+
+#else /* X15_MUTEX_PI */
+
 struct mutex {
     unsigned int state;
 };
 
+#endif /* X15_MUTEX_PI */
+
 #endif /* _KERN_MUTEX_TYPES_H */