timer = xbt_heap_pop(simix_timers);
if (timer->func)
((void (*)(void*))timer->func)(timer->args);
+ xbt_free(timer);
}
/* Wake up all processes waiting for a Surf action to finish */
xbt_dynar_foreach(model_list, iter, model) {
while ((action = xbt_swag_extract(set))) {
if (action->data == NULL)
- XBT_INFO("probably vcpu's action %p, skip", action);
+ XBT_DEBUG("probably vcpu's action %p, skip", action);
else
SIMIX_simcall_post((smx_action_t) action->data);
}