X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_time.c;h=3fb36ce13319bca89dc7fb5fafd0b5f44ac5175d;hb=25aec1d035e5a740d8c1cb936d7633b6bb5751f1;hp=d9ca1d690cb6d3669482ab542fe146d1b4e95b3b;hpb=69f8e46cb46163c55b2832fe5e504d8090ec084e;p=palacios.git

diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c
index d9ca1d6..3fb36ce 100644
--- a/palacios/src/palacios/vmm_time.c
+++ b/palacios/src/palacios/vmm_time.c
@@ -107,7 +107,7 @@ int v3_start_time(struct guest_info * info) {
     info->time_state.guest_cycles = 0;
     PrintDebug("Starting time for core %d at host time %llu/guest time %llu.\n",
 	       info->vcpu_id, t, info->time_state.guest_cycles); 
-    v3_yield(info);
+    v3_yield(info,-1);
     return 0;
 }