summaryrefslogtreecommitdiff
path: root/sys/kern
diff options
context:
space:
mode:
Diffstat (limited to 'sys/kern')
-rw-r--r--sys/kern/kern_mutex.c5
-rw-r--r--sys/kern/kern_rwlock.c10
2 files changed, 15 insertions, 0 deletions
diff --git a/sys/kern/kern_mutex.c b/sys/kern/kern_mutex.c
index bf40a48246f..183968e34bc 100644
--- a/sys/kern/kern_mutex.c
+++ b/sys/kern/kern_mutex.c
@@ -889,8 +889,13 @@ mutex_ownable(const kmutex_t *mtx)
*
* Try to acquire the mutex; return non-zero if we did.
*/
+#ifdef LOCKDOC
+int
+_mutex_tryenter(kmutex_t *mtx)
+#else
int
mutex_tryenter(kmutex_t *mtx)
+#endif
{
uintptr_t curthread;
diff --git a/sys/kern/kern_rwlock.c b/sys/kern/kern_rwlock.c
index 90f2543c138..5b52af91e71 100644
--- a/sys/kern/kern_rwlock.c
+++ b/sys/kern/kern_rwlock.c
@@ -584,8 +584,13 @@ rw_vector_tryenter(krwlock_t *rw, const krw_t op)
*
* Downgrade a write lock to a read lock.
*/
+#ifdef LOCKDOC
+void
+_rw_downgrade(krwlock_t *rw)
+#else
void
rw_downgrade(krwlock_t *rw)
+#endif
{
uintptr_t owner, curthread, newown, next;
turnstile_t *ts;
@@ -679,8 +684,13 @@ rw_downgrade(krwlock_t *rw)
* Try to upgrade a read lock to a write lock. We must be the
* only reader.
*/
+#ifdef LOCKDOC
+int
+_rw_tryupgrade(krwlock_t *rw)
+#else
int
rw_tryupgrade(krwlock_t *rw)
+#endif
{
uintptr_t owner, curthread, newown, next;