49 mtx_init(pthread_mutex_t *lock) __requires_unlocked(*lock)  in mtx_init()  argument
53 	error = pthread_mutex_init(lock, NULL);  in mtx_init()
57 mtx_destroy(pthread_mutex_t *lock) __requires_unlocked(*lock)  in mtx_destroy()  argument
61 	error = pthread_mutex_destroy(lock);  in mtx_destroy()
65 mtx_lock(pthread_mutex_t *lock) __locks_exclusive(*lock)  in mtx_lock()  argument
69 	error = pthread_mutex_lock(lock);  in mtx_lock()
73 mtx_trylock(pthread_mutex_t *lock) __trylocks_exclusive(true, *lock)  in mtx_trylock()  argument
77 	error = pthread_mutex_trylock(lock);  in mtx_trylock()
82 mtx_unlock(pthread_mutex_t *lock) __unlocks(*lock)  in mtx_unlock()  argument
86 	error = pthread_mutex_unlock(lock);  in mtx_unlock()
90 mtx_owned(pthread_mutex_t *lock)  in mtx_owned()  argument
93 	return (pthread_mutex_isowned_np(lock) != 0);  in mtx_owned()
97 rw_init(pthread_rwlock_t *lock) __requires_unlocked(*lock)  in rw_init()  argument
101 	error = pthread_rwlock_init(lock, NULL);  in rw_init()
105 rw_destroy(pthread_rwlock_t *lock) __requires_unlocked(*lock)  in rw_destroy()  argument
109 	error = pthread_rwlock_destroy(lock);  in rw_destroy()
113 rw_rlock(pthread_rwlock_t *lock) __locks_shared(*lock)  in rw_rlock()  argument
117 	error = pthread_rwlock_rdlock(lock);  in rw_rlock()
121 rw_wlock(pthread_rwlock_t *lock) __locks_exclusive(*lock)  in rw_wlock()  argument
125 	error = pthread_rwlock_wrlock(lock);  in rw_wlock()
129 rw_unlock(pthread_rwlock_t *lock) __unlocks(*lock)  in rw_unlock()  argument
133 	error = pthread_rwlock_unlock(lock);  in rw_unlock()
153 cv_wait(pthread_cond_t *cv, pthread_mutex_t *lock) __requires_exclusive(*lock)  in cv_wait()  argument
157 	error = pthread_cond_wait(cv, lock);  in cv_wait()
161 cv_timedwait(pthread_cond_t *cv, pthread_mutex_t *lock, int timeout)  in cv_timedwait()  argument
162     __requires_exclusive(*lock)  in cv_timedwait()
168 		cv_wait(cv, lock);  in cv_timedwait()
175 	error = pthread_cond_timedwait(cv, lock, &ts);  in cv_timedwait()