void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered)
{
XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_));
void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered)
{
XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_));