+ XBT_IN("(%p, %p, %f, %p,%p)", cond, mutex, timeout, issuer, simcall);
+ smx_activity_t synchro = nullptr;
+
+ XBT_DEBUG("Wait condition %p", cond);
+
+ /* If there is a mutex unlock it */
+ /* FIXME: what happens if the issuer is not the owner of the mutex? */
+ if (mutex != nullptr) {
+ cond->mutex = mutex;
+ mutex->unlock(issuer);
+ }
+
+ synchro = SIMIX_synchro_wait(issuer->host, timeout);
+ synchro->simcalls.push_front(simcall);
+ issuer->waiting_synchro = synchro;
+ cond->sleeping.push_back(*simcall->issuer);