Lines Matching refs:Addr
69 const Addr mutex, const MutexT mutex_type)
113 void DRD_(not_a_mutex)(const Addr mutex)
128 static void wrong_mutex_type(const Addr mutex)
141 DRD_(mutex_get_or_allocate)(const Addr mutex, const MutexT mutex_type)
169 struct mutex_info* DRD_(mutex_get)(const Addr mutex)
177 DRD_(mutex_init)(const Addr mutex, const MutexT mutex_type)
213 void DRD_(mutex_post_destroy)(const Addr mutex)
233 void DRD_(mutex_pre_lock)(const Addr mutex, MutexT mutex_type,
284 void DRD_(mutex_post_lock)(const Addr mutex, const Bool took_lock,
347 void DRD_(mutex_unlock)(const Addr mutex, MutexT mutex_type)
435 void DRD_(spinlock_init_or_unlock)(const Addr spinlock)
483 Bool DRD_(mutex_is_locked_by)(const Addr mutex, const DrdThreadId tid)
493 int DRD_(mutex_get_recursion_count)(const Addr mutex)
