static void drd_post_cond_wait(const Addr cond, const Addr mutex, const Bool took_lock) { cond_post_wait(cond); mutex_post_lock(mutex, took_lock, True); }
static void drd_post_cond_wait(const Addr cond, const Addr mutex, const SizeT size) { cond_post_wait(cond); mutex_lock(mutex, size, mutex_type_mutex); }