-inline static void simcall_BODY_process_killall(int reset_pid)
-{
- if (0) /* Go to that function to follow the code flow through the simcall barrier */
- simcall_HANDLER_process_killall(&SIMIX_process_self()->simcall, reset_pid);
- return simcall<void, int>(SIMCALL_PROCESS_KILLALL, reset_pid);
-}
-
-inline static void simcall_BODY_process_cleanup(smx_actor_t process)
-{
- if (0) /* Go to that function to follow the code flow through the simcall barrier */
- SIMIX_process_cleanup(process);
- return simcall<void, smx_actor_t>(SIMCALL_PROCESS_CLEANUP, process);
-}
-