+void MSG_vm_shutdown(msg_vm_t vm)
+{
+ m_process_t process;
+ XBT_DEBUG("%lu processes in the VM", xbt_dynar_length(vm->processes));
+ while (xbt_dynar_length(vm->processes) > 0) {
+ process = xbt_dynar_get_as(vm->processes,0,m_process_t);
+ MSG_process_kill(process);
+ }
+}
+
+/** @brief Destroy a msg_vm_t.
+ * @ingroup msg_VMs
+ */
+void MSG_vm_destroy(msg_vm_t vm) {