| sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 1 | void drd_post_thread_join(DrdThreadId joiner, DrdThreadId joinee); |
| sewardj | 721ad7b | 2007-11-30 08:30:29 +0000 | [diff] [blame] | 2 | void drd_pre_mutex_init(Addr mutex, SizeT size, const MutexT mutex_type); |
| 3 | void drd_post_mutex_destroy(Addr mutex, const MutexT mutex_type); |
| 4 | void drd_pre_mutex_lock(DrdThreadId tid, Addr mutex, const SizeT size, |
| 5 | const MutexT mutex_type); |
| 6 | void drd_post_mutex_lock(DrdThreadId tid, Addr mutex, const SizeT size, |
| 7 | const MutexT mutex_type); |
| 8 | void drd_pre_mutex_unlock(const DrdThreadId tid, const Addr mutex, |
| 9 | const MutexT mutex_type); |
| sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 10 | void drd_post_cond_init(Addr cond, SizeT s); |
| sewardj | 721ad7b | 2007-11-30 08:30:29 +0000 | [diff] [blame] | 11 | void drd_pre_cond_destroy(Addr cond); |