-inline static void simcall_BODY_process_resume(smx_actor_t process) {
- /* Go to that function to follow the code flow through the simcall barrier */
- if (0) SIMIX_process_resume(process);
- return simcall<void, smx_actor_t>(SIMCALL_PROCESS_RESUME, process);
- }
-