include/pthread.h

236

__requires_unlocked(*__mutex);

include/pthread.h

239

__requires_unlocked(*__mutex);

include/pthread.h

251

__requires_unlocked(*__rwlock);

include/pthread.h

254

__requires_unlocked(*__rwlock);

include/pthread.h

287

__requires_unlocked(*__spin);

include/pthread.h

289

__requires_unlocked(*__spin);

lib/libstdthreads/threads.h

88

__requires_unlocked(*__mtx);

lib/libstdthreads/threads.h

90

__requires_unlocked(*__mtx);

sbin/hastd/synch.h

104

rw_destroy(pthread_rwlock_t *lock) __requires_unlocked(*lock)

sbin/hastd/synch.h

48

mtx_init(pthread_mutex_t *lock) __requires_unlocked(*lock)

sbin/hastd/synch.h

56

mtx_destroy(pthread_mutex_t *lock) __requires_unlocked(*lock)

sbin/hastd/synch.h

96

rw_init(pthread_rwlock_t *lock) __requires_unlocked(*lock)