* \param vm VM
* \return The name of the physical host
*/
-const char *simcall_vm_get_phys_host(smx_host_t vm)
+void *simcall_vm_get_pm(smx_host_t vm)
{
/* will jump to SIMIX_pre_vm_migrate in src/simix/smx_smurf_private.h */
- return simcall_BODY_vm_get_phys_host(vm);
+ return simcall_BODY_vm_get_pm(vm);
+}
+
+void simcall_host_get_params(smx_host_t vm, ws_params_t params)
+{
+ /* will jump to SIMIX_pre_host_get_params in src/simix/smx_smurf_private.h */
+ simcall_BODY_host_get_params(vm, params);
+}
+
+void simcall_host_set_params(smx_host_t vm, ws_params_t params)
+{
+ /* will jump to SIMIX_pre_host_set_params in src/simix/smx_smurf_private.h */
+ simcall_BODY_host_set_params(vm, params);
}
/**
return simcall_BODY_mc_compare_snapshots(s1, s2);
}
+int simcall_mc_random(void)
+{
+ return simcall_BODY_mc_random();
+}
+
+
#endif /* HAVE_MC */
/* ****************************************************************************************** */