XBT_PUBLIC(void) simcall_vm_start(smx_host_t vm);
XBT_PUBLIC(void) simcall_vm_migrate(smx_host_t vm, smx_host_t dst_pm);
XBT_PUBLIC(const char*) simcall_vm_get_phys_host(smx_host_t vm);
+XBT_PUBLIC(void) simcall_vm_resume(smx_host_t vm);
+XBT_PUBLIC(void) simcall_vm_save(smx_host_t vm);
+XBT_PUBLIC(void) simcall_vm_restore(smx_host_t vm);
XBT_PUBLIC(void) simcall_vm_suspend(smx_host_t vm);
XBT_PUBLIC(void) simcall_vm_destroy(smx_host_t vm);
XBT_PUBLIC(void) simcall_vm_shutdown(smx_host_t vm);