+ case SIMCALL_COND_WAIT:
+ simgrid::xbt::intrusive_erase(simcall_cond_wait__get__cond(simcall)->sleeping_, *simcall->issuer);
+ break;
+
+ case SIMCALL_COND_WAIT_TIMEOUT:
+ simgrid::xbt::intrusive_erase(simcall_cond_wait_timeout__get__cond(simcall)->sleeping_, *simcall->issuer);
+ simcall_cond_wait_timeout__set__result(simcall, 1); // signal a timeout
+ break;
+
+ case SIMCALL_SEM_ACQUIRE:
+ simgrid::xbt::intrusive_erase(simcall_sem_acquire__get__sem(simcall)->sleeping_, *simcall->issuer);
+ break;
+
+ case SIMCALL_SEM_ACQUIRE_TIMEOUT:
+ simgrid::xbt::intrusive_erase(simcall_sem_acquire_timeout__get__sem(simcall)->sleeping_, *simcall->issuer);
+ simcall_sem_acquire_timeout__set__result(simcall, 1); // signal a timeout
+ break;
+
+ default:
+ THROW_IMPOSSIBLE;
+ }
+ simcall->issuer->waiting_synchro = nullptr;
+ SIMIX_simcall_answer(simcall);