+/* ************************** 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);
+}
+/********* barriers ************/
+sg_bar_t MSG_barrier_init(unsigned int count)
+{
+ return sg_barrier_init(count);
+}
+
+void MSG_barrier_destroy(sg_bar_t bar)
+{
+ sg_barrier_destroy(bar);
+}
+
+int MSG_barrier_wait(sg_bar_t bar)
+{
+ return sg_barrier_wait(bar);