Lines Matching refs:__mutex
207 pthread_mutex_t * __mutex,
209 __requires_exclusive(*__mutex);
211 pthread_mutex_t * __restrict __mutex)
212 __requires_exclusive(*__mutex);
233 int pthread_mutex_consistent(pthread_mutex_t * __mutex)
234 __requires_exclusive(*__mutex);
235 int pthread_mutex_destroy(pthread_mutex_t * __mutex)
236 __requires_unlocked(*__mutex);
237 int pthread_mutex_init(pthread_mutex_t * __restrict __mutex,
239 __requires_unlocked(*__mutex);
240 int pthread_mutex_lock(pthread_mutex_t * __mutex)
241 __locks_exclusive(*__mutex);
242 int pthread_mutex_trylock(pthread_mutex_t * __mutex)
243 __trylocks_exclusive(0, *__mutex);
244 int pthread_mutex_timedlock(pthread_mutex_t * __restrict __mutex,
246 __trylocks_exclusive(0, *__mutex);
247 int pthread_mutex_unlock(pthread_mutex_t * __mutex)
248 __unlocks(*__mutex);