X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_halt.c;h=a1835478e751587f642aa5aced25723bb4a94894;hb=5162b3f7c10ddbd4fd54e0c2dd13f147af09c314;hp=f343d06a018d05804288d8175117e405701b5778;hpb=0a0e4eedc63421f847d6639af4795667a094d76f;p=palacios.git

diff --git a/palacios/src/palacios/vmm_halt.c b/palacios/src/palacios/vmm_halt.c
index f343d06..a183547 100644
--- a/palacios/src/palacios/vmm_halt.c
+++ b/palacios/src/palacios/vmm_halt.c
@@ -40,7 +40,7 @@ int v3_handle_halt(struct guest_info * info) {
     } else {
 	PrintDebug("CPU Yield\n");
 
-	while (!v3_intr_pending(info)) {
+	while (!v3_intr_pending(info) && (info->vm_info->run_state == VM_RUNNING)) {
 	    /* Yield, allowing time to pass while yielded */
 	    v3_yield(info);
 	    v3_advance_time(info);