diff options
Diffstat (limited to 'sys/kern/kern_mutex.c')
| -rw-r--r-- | sys/kern/kern_mutex.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sys/kern/kern_mutex.c b/sys/kern/kern_mutex.c index 930b033a4e1..c477ecceac5 100644 --- a/sys/kern/kern_mutex.c +++ b/sys/kern/kern_mutex.c @@ -269,14 +269,24 @@ MUTEX_RELEASE(kmutex_t *mtx) #endif #ifndef __HAVE_MUTEX_STUBS +#ifdef LOCKDOC +__strong_alias(_mutex_enter,mutex_vector_enter); +__strong_alias(_mutex_exit,mutex_vector_exit); +#else __strong_alias(mutex_enter,mutex_vector_enter); __strong_alias(mutex_exit,mutex_vector_exit); #endif +#endif #ifndef __HAVE_SPIN_MUTEX_STUBS +#ifdef LOCKDOC +__strong_alias(_mutex_spin_enter,mutex_vector_enter); +__strong_alias(_mutex_spin_exit,mutex_vector_exit); +#else __strong_alias(mutex_spin_enter,mutex_vector_enter); __strong_alias(mutex_spin_exit,mutex_vector_exit); #endif +#endif static void mutex_abort(const char *, size_t, volatile const kmutex_t *, const char *); |
