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 7fb68cf2d8f..bf40a48246f 100644 --- a/sys/kern/kern_mutex.c +++ b/sys/kern/kern_mutex.c @@ -260,14 +260,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, const kmutex_t *, const char *); |
