X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2Fext_vtime.c;h=6dfe5d1060ea9cc4ac7fe18b44c915089cb2a805;hb=10446dafcbc15a8aa1639c52b5996f814ed37f27;hp=6fd9931d48271cdbd0cde160738cf5a4c916b33b;hpb=a4fd5bcc79e7cdf9a3bd879294566bff0666ced7;p=palacios.git

diff --git a/palacios/src/extensions/ext_vtime.c b/palacios/src/extensions/ext_vtime.c
index 6fd9931..6dfe5d1 100644
--- a/palacios/src/extensions/ext_vtime.c
+++ b/palacios/src/extensions/ext_vtime.c
@@ -106,7 +106,8 @@ int v3_adjust_time(struct guest_info * info) {
     old_guest_time = v3_get_guest_time(time_state);
 
     while (target_host_time > host_time) {
-	v3_yield(info);
+	// this will immediately yield if there is noone to yield to.
+	v3_yield(info,-1);
 	host_time = v3_get_host_time(time_state);
     }