diff options
Diffstat (limited to 'kern/mutex.h')
| -rw-r--r-- | kern/mutex.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kern/mutex.h b/kern/mutex.h index e599e8a2..2936d82f 100644 --- a/kern/mutex.h +++ b/kern/mutex.h @@ -23,8 +23,14 @@ #ifndef _KERN_MUTEX_H #define _KERN_MUTEX_H +#if defined(X15_MUTEX_PI) && defined(X15_MUTEX_ADAPTIVE) +#error "only one of X15_MUTEX_PI and X15_MUTEX_ADAPTIVE may be defined" +#endif + #if defined(X15_MUTEX_PI) #include <kern/mutex/mutex_pi_i.h> +#elif defined(X15_MUTEX_ADAPTIVE) +#include <kern/mutex/mutex_adaptive_i.h> #else #include <kern/mutex/mutex_plain_i.h> #endif |