+/* ************************** Virtual Machines *************************** */
+sg_vm_t MSG_vm_create_core(sg_host_t pm, const char* name)
+{
+ return sg_vm_create_core(pm, name);
+}
+sg_vm_t MSG_vm_create_multicore(sg_host_t pm, const char* name, int coreAmount)
+{
+ return sg_vm_create_multicore(pm, name, coreAmount);
+}
+int MSG_vm_is_created(sg_vm_t vm)
+{
+ return sg_vm_is_created(vm);
+}
+int MSG_vm_is_running(sg_vm_t vm)
+{
+ return sg_vm_is_running(vm);
+}
+int MSG_vm_is_suspended(sg_vm_t vm)
+{
+ return sg_vm_is_suspended(vm);
+}
+const char* MSG_vm_get_name(sg_vm_t vm)
+{
+ return sg_vm_get_name(vm);
+}
+void MSG_vm_set_ramsize(sg_vm_t vm, size_t size)
+{
+ sg_vm_set_ramsize(vm, size);
+}
+size_t MSG_vm_get_ramsize(sg_vm_t vm)
+{
+ return sg_vm_get_ramsize(vm);
+}
+sg_host_t MSG_vm_get_pm(sg_vm_t vm)
+{
+ return sg_vm_get_pm(vm);
+}
+void MSG_vm_set_bound(sg_vm_t vm, double bound)
+{
+ sg_vm_set_bound(vm, bound);
+}
+void MSG_vm_start(sg_vm_t vm)
+{
+ sg_vm_start(vm);
+}
+void MSG_vm_suspend(sg_vm_t vm)
+{
+ sg_vm_suspend(vm);
+}
+void MSG_vm_resume(sg_vm_t vm)
+{
+ sg_vm_resume(vm);
+}
+void MSG_vm_shutdown(sg_vm_t vm)
+{
+ sg_vm_shutdown(vm);
+}
+void MSG_vm_destroy(sg_vm_t vm)
+{
+ sg_vm_destroy(vm);