Lines Matching refs:mutex_info
41 static void mutex_cleanup(struct mutex_info* p);
42 static Bool mutex_is_locked(struct mutex_info* const p);
43 static void mutex_delete_thread(struct mutex_info* p, const DrdThreadId tid);
68 void DRD_(mutex_initialize)(struct mutex_info* const p,
88 struct mutex_info* p = DRD_(mutex_get)(mutex);
104 static void mutex_cleanup(struct mutex_info* p)
158 struct mutex_info*
161 struct mutex_info* p;
187 struct mutex_info* DRD_(mutex_get)(const Addr mutex)
194 struct mutex_info*
197 struct mutex_info* p;
233 struct mutex_info* p;
254 struct mutex_info* p;
298 * Update mutex_info state when locking the pthread_mutex_t mutex.
306 struct mutex_info* p;
356 * Update mutex_info state when unlocking the pthread_mutex_t mutex.
370 struct mutex_info* p;
457 struct mutex_info* mutex_p = DRD_(mutex_get)(spinlock);
468 const HChar* DRD_(mutex_get_typename)(struct mutex_info* const p)
499 static Bool mutex_is_locked(struct mutex_info* const p)
507 struct mutex_info* const p = DRD_(mutex_get)(mutex);
517 struct mutex_info* const p = DRD_(mutex_get)(mutex);
526 static void mutex_delete_thread(struct mutex_info* p, const DrdThreadId tid)
