diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-08-31 23:17:47 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-08-31 23:17:47 +0200 |
| commit | c04c1bdd385af886422b89e1bf751b9a9d322ffc (patch) | |
| tree | e41da5afb3e47cee6ab4655385d793ffa2ff757f /kern | |
| parent | b9ec5cca6f6e3fd571b2e534d36e2498e488164c (diff) | |
Make mutex debugging slightly more convenient
Define the macro controlling mutex debugging only if not already defined,
allowing users to pass it through CFLAGS.
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/mutex/mutex_adaptive.c | 3 | ||||
| -rw-r--r-- | kern/mutex/mutex_plain.c | 3 | ||||
| -rw-r--r-- | kern/rtmutex.c | 3 |
3 files changed, 6 insertions, 3 deletions
diff --git a/kern/mutex/mutex_adaptive.c b/kern/mutex/mutex_adaptive.c index ceec8f10..d5cab2f4 100644 --- a/kern/mutex/mutex_adaptive.c +++ b/kern/mutex/mutex_adaptive.c @@ -31,8 +31,9 @@ #include <kern/thread.h> #include <machine/cpu.h> -/* Set to 1 to enable debugging */ +#ifndef MUTEX_ADAPTIVE_DEBUG #define MUTEX_ADAPTIVE_DEBUG 0 +#endif /* MUTEX_ADAPTIVE_DEBUG */ #if MUTEX_ADAPTIVE_DEBUG diff --git a/kern/mutex/mutex_plain.c b/kern/mutex/mutex_plain.c index 6a7cbdc3..2c655940 100644 --- a/kern/mutex/mutex_plain.c +++ b/kern/mutex/mutex_plain.c @@ -27,8 +27,9 @@ #include <kern/sleepq.h> #include <kern/syscnt.h> -/* Set to 1 to enable debugging */ +#ifndef MUTEX_PLAIN_DEBUG #define MUTEX_PLAIN_DEBUG 0 +#endif /* MUTEX_PLAIN_DEBUG */ #if MUTEX_PLAIN_DEBUG diff --git a/kern/rtmutex.c b/kern/rtmutex.c index 9fcc4e0e..c07bbfef 100644 --- a/kern/rtmutex.c +++ b/kern/rtmutex.c @@ -29,8 +29,9 @@ #include <kern/thread.h> #include <kern/turnstile.h> -/* Set to 1 to enable debugging */ +#ifndef RTMUTEX_DEBUG #define RTMUTEX_DEBUG 0 +#endif /* RTMUTEX_DEBUG */ #if RTMUTEX_DEBUG |