diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-03-04 16:27:05 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-03-04 16:52:30 +0100 |
| commit | f4d75d0cd8424c17521d520fd9018ea22b7daaad (patch) | |
| tree | a6f4807984c781e3584c79491ecb23e75f012ac6 /kern/mutex.c | |
| parent | 3fcd23576e800ebbfb1378c2e6aff2e9e1027989 (diff) | |
kern/mutex: implement the --enable-mutex-pi option
This option turns all regular mutexes into real-time mutexes.
Diffstat (limited to 'kern/mutex.c')
| -rw-r--r-- | kern/mutex.c | 4 |
1 files changed, 4 insertions, 0 deletions
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 */ |