smx_actor_t process = SIMIX_process_from_PID(message->pid);
if (not process)
xbt_die("Invalid pid %lu", (unsigned long)message->pid);
- SIMIX_simcall_handle(&process->simcall, message->value);
+ process->simcall_handle(message->value);
if (channel_.send(MC_MESSAGE_WAITING))
xbt_die("Could not send MESSAGE_WAITING to model-checker");
}
xbt_die("Could send REGISTER_SYMBOL message to model-checker");
}
-void Client::declare_stack(void* stack, size_t size, smx_actor_t process, ucontext_t* context)
+void Client::declare_stack(void* stack, size_t size, ucontext_t* context)
{
xbt_mheap_t heap = mmalloc_get_current_heap();