diff options
author | Richard Braun <rbraun@sceen.net> | 2017-07-13 20:07:07 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-07-13 20:07:07 +0200 |
commit | b2ad7d862388558556288877a65f2797528168f4 (patch) | |
tree | 4d3080abf0cbcca7c058cba5cad2ed71e5d5e1e5 /kern/mutex.h | |
parent | cacd797c0c1825301f21aab18a7ce2c410d14535 (diff) |
Switch to initialization operations
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 */ |