From f4d75d0cd8424c17521d520fd9018ea22b7daaad Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Sat, 4 Mar 2017 16:27:05 +0100
Subject: kern/mutex: implement the --enable-mutex-pi option

This option turns all regular mutexes into real-time mutexes.
---
 kern/mutex.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'kern/mutex.c')

diff --git a/kern/mutex.c b/kern/mutex.c
index 1a1c2ea7..6a1af208 100644
--- a/kern/mutex.c
+++ b/kern/mutex.c
@@ -15,6 +15,8 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 
+#ifndef X15_MUTEX_PI
+
 #include <stddef.h>
 
 #include <kern/mutex.h>
@@ -62,3 +64,5 @@ mutex_unlock_slow(struct mutex *mutex)
 
     sleepq_release(sleepq);
 }
+
+#endif /* X15_MUTEX_PI */
-- 
cgit v1.2.3