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,  in DRD_()
88    struct mutex_info* p = DRD_(mutex_get)(mutex);  in DRD_()
104 static void mutex_cleanup(struct mutex_info* p)  in mutex_cleanup()
158 struct mutex_info*
161    struct mutex_info* p;  in DRD_()
187 struct mutex_info* DRD_(mutex_get)(const Addr mutex)  in DRD_()
194 struct mutex_info*
197    struct mutex_info* p;  in DRD_()
233    struct mutex_info* p;  in DRD_()
254    struct mutex_info* p;  in DRD_()
306    struct mutex_info* p;  in DRD_()
370    struct mutex_info* p;  in DRD_()
457    struct mutex_info* mutex_p = DRD_(mutex_get)(spinlock);  in DRD_()
468 const HChar* DRD_(mutex_get_typename)(struct mutex_info* const p)  in DRD_()
499 static Bool mutex_is_locked(struct mutex_info* const p)  in mutex_is_locked()
507    struct mutex_info* const p = DRD_(mutex_get)(mutex);  in DRD_()
517    struct mutex_info* const p = DRD_(mutex_get)(mutex);  in DRD_()
526 static void mutex_delete_thread(struct mutex_info* p, const DrdThreadId tid)  in mutex_delete_thread()