X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_scheduler.c;h=506429bb5261b58facb1d44f9ab5ed249ec001d7;hp=07600bf1a507c8a8e337503de2c071500cb2963f;hb=fc4b7290edb57a3528a26f95c4478fe07d45a581;hpb=88a3605446744969abe6f193a7bc20e62d5aa555

diff --git a/palacios/src/palacios/vmm_scheduler.c b/palacios/src/palacios/vmm_scheduler.c
index 07600bf..506429b 100644
--- a/palacios/src/palacios/vmm_scheduler.c
+++ b/palacios/src/palacios/vmm_scheduler.c
@@ -204,6 +204,10 @@ int host_sched_vm_init(struct v3_vm_info *vm)
 
     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, VCORE_NONE,"CPU_KHZ = %d, schedule_freq=%p\n", V3_CPU_KHZ(),