X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_time.c;h=51ac5a76e3a538c91506a3af39ad0cf6c76c3ab5;hb=d6a4d7bf28c8962ad6a1499d0b74b9e5cdf892ad;hp=38f5f6e637e719e0a2166e21956773113142dc04;hpb=b91f96a59e8709a444eb345b0f2b255e9ed9b877;p=palacios.git

diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c
index 38f5f6e..51ac5a7 100644
--- a/palacios/src/palacios/vmm_time.c
+++ b/palacios/src/palacios/vmm_time.c
@@ -420,6 +420,8 @@ void v3_init_time_core(struct guest_info * info) {
     time_state->vm_enter_host_time = 0;
     time_state->vm_pause_host_time = 0;
 
+    time_state->time_flags = 0; // XXX need to set trap TSC flag or not wisely
+
     INIT_LIST_HEAD(&(time_state->timers));
     time_state->num_timers = 0;