int ret = 0;
- if ((vm_info->run_state != VM_RUNNING) ||
+ if ((vm_info->run_state != VM_RUNNING) &&
(vm_info->run_state != VM_SIMULATING)) {
return 0;
}
struct v3_barrier * barrier = &(vm_info->barrier);
- if ((vm_info->run_state != VM_RUNNING) ||
+ if ((vm_info->run_state != VM_RUNNING) &&
(vm_info->run_state != VM_SIMULATING)) {
return 0;
}
return 0;
}
- V3_Print("Core %d waiting at barrier\n", core->vcpu_id);
+ V3_Print(core->vm_info, core, "Core %d waiting at barrier\n", core->vcpu_id);
/* Barrier has been activated.
* Wait here until it's lowered
// set cpu bit in barrier bitmap
v3_bitmap_set(&(barrier->cpu_map), core->vcpu_id);
- V3_Print("Core %d bit set as waiting\n", core->vcpu_id);
+ V3_Print(core->vm_info, core, "Core %d bit set as waiting\n", core->vcpu_id);
// wait for cpu bit to clear
while (v3_bitmap_check(&(barrier->cpu_map), core->vcpu_id)) {