Cleanup and sanity-checking of divide-by-zero and floating point use bugs (Coverity...

[palacios.git] / palacios / src / palacios / vmm_config.c

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index e4c9b4f..420b316 100644 (file)
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -386,6 +386,10 @@ static int pre_config_vm(struct v3_vm_info * vm, v3_cfg_tree_t * vm_cfg) {
 
    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(),