70                             const Addr mutex, const MutexT mutex_type)  in DRD_()
72    tl_assert(mutex);  in DRD_()
73    tl_assert(p->a1 == mutex);  in DRD_()
114 void DRD_(not_a_mutex)(const Addr mutex)  in DRD_()
117                         mutex, -1, DRD_INVALID_THREADID };  in DRD_()
129 static void wrong_mutex_type(const Addr mutex)  in wrong_mutex_type()  argument
132                         mutex, -1, DRD_INVALID_THREADID };  in wrong_mutex_type()
142 DRD_(mutex_get_or_allocate)(const Addr mutex, const MutexT mutex_type)  in DRD_()
146    tl_assert(offsetof(DrdClientobj, mutex) == 0);  in DRD_()
147    p = &(DRD_(clientobj_get)(mutex, ClientMutex)->mutex);  in DRD_()
154 	 wrong_mutex_type(mutex);  in DRD_()
159    if (DRD_(clientobj_present)(mutex, mutex + 1))  in DRD_()
161       DRD_(not_a_mutex)(mutex);  in DRD_()
165    p = &(DRD_(clientobj_add)(mutex, ClientMutex)->mutex);  in DRD_()
166    DRD_(mutex_initialize)(p, mutex, mutex_type);  in DRD_()
170 struct mutex_info* DRD_(mutex_get)(const Addr mutex)  in DRD_()
172    tl_assert(offsetof(DrdClientobj, mutex) == 0);  in DRD_()
173    return &(DRD_(clientobj_get)(mutex, ClientMutex)->mutex);  in DRD_()
178 DRD_(mutex_init)(const Addr mutex, const MutexT mutex_type)  in DRD_()
186                       mutex);  in DRD_()
190       DRD_(not_a_mutex)(mutex);  in DRD_()
194    p = DRD_(mutex_get)(mutex);  in DRD_()
208    p = DRD_(mutex_get_or_allocate)(mutex, mutex_type);  in DRD_()
214 void DRD_(mutex_post_destroy)(const Addr mutex)  in DRD_()
218    p = DRD_(mutex_get)(mutex);  in DRD_()
221       DRD_(not_a_mutex)(mutex);  in DRD_()
225    DRD_(clientobj_remove)(mutex, ClientMutex);  in DRD_()
234 void DRD_(mutex_pre_lock)(const Addr mutex, MutexT mutex_type,  in DRD_()
239    p = DRD_(mutex_get_or_allocate)(mutex, mutex_type);  in DRD_()
248                       mutex, p ? p->recursion_count : -1,  in DRD_()
253       DRD_(not_a_mutex)(mutex);  in DRD_()
261       DRD_(not_a_mutex)(mutex);  in DRD_()
285 void DRD_(mutex_post_lock)(const Addr mutex, const Bool took_lock,  in DRD_()
291    p = DRD_(mutex_get)(mutex);  in DRD_()
298                       mutex, p ? p->recursion_count : 0,  in DRD_()
348 void DRD_(mutex_unlock)(const Addr mutex, MutexT mutex_type)  in DRD_()
354    p = DRD_(mutex_get)(mutex);  in DRD_()
361                       mutex, p ? p->recursion_count : 0);  in DRD_()
366       DRD_(not_a_mutex)(mutex);  in DRD_()
416                    mutex, p->acquired_at, held, s_mutex_lock_threshold_ms };  in DRD_()
484 Bool DRD_(mutex_is_locked_by)(const Addr mutex, const DrdThreadId tid)  in DRD_()
486    struct mutex_info* const p = DRD_(mutex_get)(mutex);  in DRD_()
494 int DRD_(mutex_get_recursion_count)(const Addr mutex)  in DRD_()
496    struct mutex_info* const p = DRD_(mutex_get)(mutex);  in DRD_()