Lines Matching refs:__mutex
206 pthread_mutex_t * __mutex,
208 __requires_exclusive(*__mutex);
210 pthread_mutex_t * __restrict __mutex)
211 __requires_exclusive(*__mutex);
232 int pthread_mutex_consistent(pthread_mutex_t * __mutex)
233 __requires_exclusive(*__mutex);
234 int pthread_mutex_destroy(pthread_mutex_t * __mutex)
235 __requires_unlocked(*__mutex);
236 int pthread_mutex_init(pthread_mutex_t * __restrict __mutex,
238 __requires_unlocked(*__mutex);
239 int pthread_mutex_lock(pthread_mutex_t * __mutex)
240 __locks_exclusive(*__mutex);
241 int pthread_mutex_trylock(pthread_mutex_t * __mutex)
242 __trylocks_exclusive(0, *__mutex);
243 int pthread_mutex_timedlock(pthread_mutex_t * __restrict __mutex,
245 __trylocks_exclusive(0, *__mutex);
246 int pthread_mutex_unlock(pthread_mutex_t * __mutex)
247 __unlocks(*__mutex);