if (locked_) {
/* FIXME: check if the host is active ? */
/* Somebody using the mutex, use a synchronization to get host failures */
if (locked_) {
/* FIXME: check if the host is active ? */
/* Somebody using the mutex, use a synchronization to get host failures */
(*synchro).set_host(issuer->get_host()).start();
synchro->simcalls_.push_back(&issuer->simcall_);
issuer->waiting_synchro_ = synchro;
(*synchro).set_host(issuer->get_host()).start();
synchro->simcalls_.push_back(&issuer->simcall_);
issuer->waiting_synchro_ = synchro;