69                             const Addr mutex, const MutexT mutex_type)  in DRD_()
71    tl_assert(mutex);  in DRD_()
72    tl_assert(p->a1 == mutex);  in DRD_()
86 void DRD_(mutex_ignore_ordering)(const Addr mutex)  in DRD_()
88    struct mutex_info* p = DRD_(mutex_get)(mutex);  in DRD_()
94                       mutex);  in DRD_()
99       DRD_(not_a_mutex)(mutex);  in DRD_()
131 void DRD_(not_a_mutex)(const Addr mutex)  in DRD_()
134                         mutex, -1, DRD_INVALID_THREADID };  in DRD_()
146 static void wrong_mutex_type(const Addr mutex)  in wrong_mutex_type()  argument
149                         mutex, -1, DRD_INVALID_THREADID };  in wrong_mutex_type()
159 DRD_(mutex_get_or_allocate)(const Addr mutex, const MutexT mutex_type)  in DRD_()
163    tl_assert(offsetof(DrdClientobj, mutex) == 0);  in DRD_()
164    p = &(DRD_(clientobj_get)(mutex, ClientMutex)->mutex);  in DRD_()
171 	 wrong_mutex_type(mutex);  in DRD_()
176    if (DRD_(clientobj_present)(mutex, mutex + 1))  in DRD_()
178       DRD_(not_a_mutex)(mutex);  in DRD_()
182    p = &(DRD_(clientobj_add)(mutex, ClientMutex)->mutex);  in DRD_()
183    DRD_(mutex_initialize)(p, mutex, mutex_type);  in DRD_()
187 struct mutex_info* DRD_(mutex_get)(const Addr mutex)  in DRD_()
189    tl_assert(offsetof(DrdClientobj, mutex) == 0);  in DRD_()
190    return &(DRD_(clientobj_get)(mutex, ClientMutex)->mutex);  in DRD_()
195 DRD_(mutex_init)(const Addr mutex, const MutexT mutex_type)  in DRD_()
203                       mutex);  in DRD_()
207       DRD_(not_a_mutex)(mutex);  in DRD_()
211    p = DRD_(mutex_get)(mutex);  in DRD_()
225    p = DRD_(mutex_get_or_allocate)(mutex, mutex_type);  in DRD_()
231 void DRD_(mutex_post_destroy)(const Addr mutex)  in DRD_()
235    p = DRD_(mutex_get)(mutex);  in DRD_()
238       DRD_(not_a_mutex)(mutex);  in DRD_()
242    DRD_(clientobj_remove)(mutex, ClientMutex);  in DRD_()
251 void DRD_(mutex_pre_lock)(const Addr mutex, MutexT mutex_type,  in DRD_()
256    p = DRD_(mutex_get_or_allocate)(mutex, mutex_type);  in DRD_()
265                       mutex, p ? p->recursion_count : -1,  in DRD_()
270       DRD_(not_a_mutex)(mutex);  in DRD_()
278       DRD_(not_a_mutex)(mutex);  in DRD_()
302 void DRD_(mutex_post_lock)(const Addr mutex, const Bool took_lock,  in DRD_()
308    p = DRD_(mutex_get)(mutex);  in DRD_()
315                       mutex, p ? p->recursion_count : 0,  in DRD_()
366 void DRD_(mutex_unlock)(const Addr mutex, MutexT mutex_type)  in DRD_()
372    p = DRD_(mutex_get)(mutex);  in DRD_()
379                       mutex, p ? p->recursion_count : 0);  in DRD_()
384       DRD_(not_a_mutex)(mutex);  in DRD_()
434                    mutex, p->acquired_at, held, s_mutex_lock_threshold_ms };  in DRD_()
505 Bool DRD_(mutex_is_locked_by)(const Addr mutex, const DrdThreadId tid)  in DRD_()
507    struct mutex_info* const p = DRD_(mutex_get)(mutex);  in DRD_()
515 int DRD_(mutex_get_recursion_count)(const Addr mutex)  in DRD_()
517    struct mutex_info* const p = DRD_(mutex_get)(mutex);  in DRD_()