xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
DEBUG3("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);
}
xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
DEBUG3("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);
}