X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_time.h;h=d805db9ce52ad5b2e73e7f7bb0e1eca52943b46c;hb=46113012016d5064ca8617dbb39f04c9763fd911;hp=ff4946a09689252c4f193d773ed349ec243e874c;hpb=7650d345982514b32fc0f116b8a6512ec243b267;p=palacios.git

diff --git a/palacios/include/palacios/vmm_time.h b/palacios/include/palacios/vmm_time.h
index ff4946a..d805db9 100644
--- a/palacios/include/palacios/vmm_time.h
+++ b/palacios/include/palacios/vmm_time.h
@@ -36,6 +36,13 @@ struct vm_time {
     // Cache value to help calculate the guest_tsc
     ullong_t cached_host_tsc;
 
+	
+    /* The total num of numcycles spent in the halt handler 
+    	  that the halt handler has already updated to the 
+    	  timer infrastructure about.   That is, "update_time" has been
+     */
+    ullong_t cached_hlt_tsc;
+
     // The number of cycles pending for notification to the timers
     //ullong_t pending_cycles;