From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Tue, 23 Nov 2010 23:49:26 +0000 (-0600)
Subject: added free interface
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=b7ecfd2959b3dea49b87aa44632686801132516c;p=palacios-OLD.git

added free interface
---

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 65b4b49..9e53b34 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -269,6 +269,10 @@ int v3_stop_vm(struct v3_vm_info * vm) {
 
     vm->run_state = VM_STOPPED;
 
+    while (vm->cores[0].core_run_state != CORE_STOPPED) {
+	v3_yield(NULL);
+    }
+
 
     // force exit all cores via a cross call/IPI