void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
{
DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex, delay);
void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
{
DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex, delay);