diff options
Diffstat (limited to 'kern/mutex_i.h')
| -rw-r--r-- | kern/mutex_i.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/mutex_i.h b/kern/mutex_i.h index a161b1bb..158d8f7f 100644 --- a/kern/mutex_i.h +++ b/kern/mutex_i.h @@ -18,6 +18,8 @@ #ifndef _KERN_MUTEX_I_H #define _KERN_MUTEX_I_H +#ifndef X15_MUTEX_PI + #include <kern/assert.h> #include <kern/mutex_types.h> #include <machine/atomic.h> @@ -46,5 +48,6 @@ void mutex_lock_slow(struct mutex *mutex); void mutex_unlock_slow(struct mutex *mutex); +#endif /* X15_MUTEX_PI */ #endif /* _KERN_MUTEX_I_H */ |