-inline static void simcall_BODY_process_auto_restart_set(smx_actor_t process, int auto_restart) {
- /* Go to that function to follow the code flow through the simcall barrier */
- if (0) SIMIX_process_auto_restart_set(process, auto_restart);
- return simcall<void, smx_actor_t, int>(SIMCALL_PROCESS_AUTO_RESTART_SET, process, auto_restart);
- }
-