diff options
| author | Merlin Scholz <merlin@scholz.ruhr> | 2023-03-17 20:36:23 +0100 |
|---|---|---|
| committer | Merlin Scholz <merlin@scholz.ruhr> | 2023-03-17 20:36:23 +0100 |
| commit | e2e1b134996638a109eec45981ba651ecef1b952 (patch) | |
| tree | 55d34861aca2b581f7e81976cadf5656e44cbaf3 /sys/kern | |
| parent | 776ee58682b55a490930b73105b3596dde1f16fa (diff) | |
Implement missing Mutex and RW logginglockdoc-9.3-0.4
Diffstat (limited to 'sys/kern')
| -rw-r--r-- | sys/kern/kern_mutex.c | 5 | ||||
| -rw-r--r-- | sys/kern/kern_rwlock.c | 10 |
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; |
