V3_Print(VM_NONE, VCORE_NONE, "File index=%d id=%s\n", idx, id);
strncpy(file->tag, id, V3_MAX_TAG_LEN);
+ file->tag[V3_MAX_TAG_LEN-1] = 0 ;
if (version==0) {
struct file_hdr_v0 * hdr = &(files_v0->hdrs[idx]);
if (schedule_hz_str) {
sched_hz = atoi(schedule_hz_str);
+ if (sched_hz==0) {
+ PrintError(vm,VCORE_NONE,"Cannot set sched Hz to 0\n");
+ return -1;
+ }
}
PrintDebug(VM_NONE, VCORE_NONE, "CPU_KHZ = %d, schedule_freq=%p\n", V3_CPU_KHZ(),
vm = allocate_guest(num_cores);
if (!vm) {
- PrintError(VM_NONE, VCORE_NONE, "Could not allocate %d core guest\n", vm->num_cores);
+ PrintError(VM_NONE, VCORE_NONE, "Could not allocate %d core guest\n", num_cores);
return NULL;
}