X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=de6ee041fe4162206f16a1f685f734bb31cc3e5e;hb=0b9cb865c52bc2b6e0a5637d1e1a3cb340ce50f8;hp=6bf1a299f6444dc4950bb7f93025cc6602ddde3f;hpb=d962f2be029772be3f21d9bd206ddf2a9f6a1d20;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 6bf1a29..de6ee04 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -283,11 +283,15 @@ int v3_stop_vm(struct v3_vm_info * vm) {
 	}
 
 	if (still_running == 0) {
-	    break;
+ 	    break;
 	}
-	
+
+ 	V3_Print("Yielding\n");
+
 	v3_yield(NULL);
     }
+    
+    V3_Print("VM stopped. Returning\n");
 
     return 0;
 }