- return (e_smx_state_t) simcall_BODY_execution_wait(execution);
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Kills a SIMIX process.
- *
- * This function simply kills a process.
- *
- * \param process poor victim
- */
-void simcall_process_kill(smx_actor_t process)
-{
- simcall_BODY_process_kill(process);
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Kills all SIMIX processes.
- */
-void simcall_process_killall(int reset_pid)
-{
- simcall_BODY_process_killall(reset_pid);
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Cleans up a SIMIX process.
- * \param process poor victim (must have already been killed)
- */
-void simcall_process_cleanup(smx_actor_t process)
-{
- simcall_BODY_process_cleanup(process);
-}
-
-void simcall_process_join(smx_actor_t process, double timeout)
-{
- simcall_BODY_process_join(process, timeout);
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Suspends a process.
- *
- * This function suspends the process by suspending the synchro
- * it was waiting for completion.
- *
- * \param process a SIMIX process
- */
-void simcall_process_suspend(smx_actor_t process)
-{
- simcall_BODY_process_suspend(process);
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Returns the amount of SIMIX processes in the system
- *
- * Maestro internal process is not counted, only user code processes are
- */
-int simcall_process_count()
-{
- return simgrid::simix::kernelImmediate(SIMIX_process_count);
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Set the user data of a #smx_actor_t.
- *
- * This functions sets the user data associated to \a process.
- * \param process SIMIX process
- * \param data User data
- */
-void simcall_process_set_data(smx_actor_t process, void *data)
-{
- simgrid::simix::kernelImmediate([process, data] { process->setUserData(data); });
-}
-
-/**
- * \ingroup simix_process_management
- * \brief Set the kill time of a process.
- */
-void simcall_process_set_kill_time(smx_actor_t process, double kill_time)
-{
-
- if (kill_time <= SIMIX_get_clock() || simix_global->kill_process_function == nullptr)
- return;
- XBT_DEBUG("Set kill time %f for process %s@%s", kill_time, process->cname(), process->host->getCname());
- process->kill_timer = SIMIX_timer_set(kill_time, [=] {
- simix_global->kill_process_function(process);
- process->kill_timer=nullptr;
- });