__requires_unlocked
__requires_unlocked(*__mutex);
__requires_unlocked(*__mutex);
__requires_unlocked(*__rwlock);
__requires_unlocked(*__rwlock);
__requires_unlocked(*__spin);
__requires_unlocked(*__spin);
__requires_unlocked(*__mtx);
__requires_unlocked(*__mtx);
rw_destroy(pthread_rwlock_t *lock) __requires_unlocked(*lock)
mtx_init(pthread_mutex_t *lock) __requires_unlocked(*lock)
mtx_destroy(pthread_mutex_t *lock) __requires_unlocked(*lock)
rw_init(pthread_rwlock_t *lock) __requires_unlocked(*lock)