Fix to the time period calculation

diff --git a/palacios/src/devices/nvram.c b/palacios/src/devices/nvram.c
index f2c45a3..b8481a7 100644 (file)
--- a/palacios/src/devices/nvram.c
+++ b/palacios/src/devices/nvram.c
@@ -472,7 +472,8 @@ static void nvram_update_timer(struct guest_info *vm,
     uint64_t period_us;
 
     
-    period_us = (1000000*cpu_cycles/cpu_freq);
+    // cpu_freq is in kHz
+    period_us = (1000000*cpu_cycles/(cpu_freq*1000));
 
     update_time(nvram_state,period_us);