Lines Matching refs:Addr
31 #include "pub_tool_basics.h" // Addr
39 struct mutex_info* DRD_(mutex_init)(const Addr mutex, const MutexT mutex_type);
40 void DRD_(mutex_post_destroy)(const Addr mutex);
41 void DRD_(not_a_mutex)(const Addr mutex);
42 struct mutex_info* DRD_(mutex_get)(const Addr mutex);
43 void DRD_(mutex_pre_lock)(const Addr mutex, const MutexT mutex_type,
45 void DRD_(mutex_post_lock)(const Addr mutex, const Bool took_lock,
47 void DRD_(mutex_unlock)(const Addr mutex, const MutexT mutex_type);
48 void DRD_(spinlock_init_or_unlock)(const Addr spinlock);
51 Bool DRD_(mutex_is_locked_by)(const Addr mutex, const DrdThreadId tid);
52 int DRD_(mutex_get_recursion_count)(const Addr mutex);
