-void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) {
- xbt_os_cond_wait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex );
+void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
+{
+ XBT_DEBUG("Wait 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);
+ XBT_DEBUG("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);