include/pthread.h

209

__requires_exclusive(*__mutex);

include/pthread.h

212

__requires_exclusive(*__mutex);

include/pthread.h

234

__requires_exclusive(*__mutex);

lib/libstdthreads/threads.h

84

__requires_exclusive(*__mtx);

lib/libstdthreads/threads.h

86

__requires_exclusive(*__mtx);

sbin/hastd/synch.h

152

cv_wait(pthread_cond_t *cv, pthread_mutex_t *lock) __requires_exclusive(*lock)

sbin/hastd/synch.h

161

__requires_exclusive(*lock)

usr.sbin/virtual_oss/virtual_oss/main.c

675

vclient_export_read_locked(vclient_t *pvc) __requires_exclusive(atomic_mtx)

usr.sbin/virtual_oss/virtual_oss/main.c

883

vclient_import_write_locked(vclient_t *pvc) __requires_exclusive(atomic_mtx)

usr.sbin/virtual_oss/virtual_oss/virtual_oss.c

115

int64_t *src, size_t total) __requires_exclusive(atomic_mtx)

usr.sbin/virtual_oss/virtual_oss/virtual_oss.c

83

int64_t *dst, size_t total) __requires_exclusive(atomic_mtx)