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);
}