diff options
| author | Agustina Arzille <avarzille@riseup.net> | 2017-07-21 00:50:34 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-07-21 00:50:43 +0200 |
| commit | 5c2cf8fff7a1d6dc6b88615df5433ddccbbcf51f (patch) | |
| tree | 4eb919999949d471204ca8489169351f1390ccb5 /kern/mutex_types.h | |
| parent | 4278f99adcbcfbd52904c0d8809184afe091c958 (diff) | |
kern/mutex: new adaptive spinning mutex implementation
Diffstat (limited to 'kern/mutex_types.h')
| -rw-r--r-- | kern/mutex_types.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/mutex_types.h b/kern/mutex_types.h index 432eab30..eb2bc339 100644 --- a/kern/mutex_types.h +++ b/kern/mutex_types.h @@ -23,6 +23,8 @@ #if defined(X15_MUTEX_PI) #include <kern/mutex/mutex_pi_types.h> +#elif defined(X15_MUTEX_ADAPTIVE) +#include <kern/mutex/mutex_adaptive_types.h> #else #include <kern/mutex/mutex_plain_types.h> #endif |