inline static void simcall_BODY_vm_resume(sg_host_t ind_vm) {
/* Go to that function to follow the code flow through the simcall barrier */
- if (0) simcall_HANDLER_vm_resume(&SIMIX_process_self()->simcall, ind_vm);
+ if (0)
+ SIMIX_vm_resume(ind_vm);
return simcall<void, sg_host_t>(SIMCALL_VM_RESUME, ind_vm);
}
inline static void simcall_BODY_vm_restore(sg_host_t ind_vm) {
/* Go to that function to follow the code flow through the simcall barrier */
- if (0) simcall_HANDLER_vm_restore(&SIMIX_process_self()->simcall, ind_vm);
+ if (0)
+ SIMIX_vm_restore(ind_vm);
return simcall<void, sg_host_t>(SIMCALL_VM_RESTORE, ind_vm);
}
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) simcall_HANDLER_process_resume(&SIMIX_process_self()->simcall, process);
+ if (0)
+ SIMIX_process_resume(process);
return simcall<void, smx_actor_t>(SIMCALL_PROCESS_RESUME, process);
}