- int pm_index = i % npm;
- char *vm_name = bprintf("vm%d", i);
- vm[i] = MSG_vm_create_core(pm[pm_index], vm_name);
- MSG_vm_start(vm[i]);
+ int pm_index = i % npm;
+ char *vm_name = bprintf("vm%d", i);
+ vm[i] = MSG_vm_create_core(pm[pm_index], vm_name);
+ MSG_vm_start(vm[i]);