diff options
Diffstat (limited to 'kern/mutex.h')
| -rw-r--r-- | kern/mutex.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/kern/mutex.h b/kern/mutex.h index d09a7bbe..103af02a 100644 --- a/kern/mutex.h +++ b/kern/mutex.h @@ -25,6 +25,7 @@ #ifndef _KERN_MUTEX_H #define _KERN_MUTEX_H +#include <kern/init.h> #include <kern/mutex_types.h> #ifdef X15_MUTEX_PI @@ -158,4 +159,12 @@ mutex_unlock(struct mutex *mutex) #endif /* X15_MUTEX_PI */ +/* + * This init operation provides : + * - uncontended mutex locking + * + * Contended locking may only occur after starting the scheduler. + */ +INIT_OP_DECLARE(mutex_setup); + #endif /* _KERN_MUTEX_H */ |