summaryrefslogtreecommitdiff
path: root/sys/kern/kern_rwlock.c
diff options
context:
space:
mode:
Diffstat (limited to 'sys/kern/kern_rwlock.c')
-rw-r--r--sys/kern/kern_rwlock.c10
1 files changed, 10 insertions, 0 deletions
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;