X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_halt.c;h=056d5682fd4388d3d50e57056b4527588cca5797;hb=0f39a3ad28d0419f551a7efd68aea0bb4224de98;hp=2be016ce7c21e8c9c8091364a90e5ba2c2bf5dfc;hpb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;p=palacios.git

diff --git a/palacios/src/palacios/vmm_halt.c b/palacios/src/palacios/vmm_halt.c
index 2be016c..056d568 100644
--- a/palacios/src/palacios/vmm_halt.c
+++ b/palacios/src/palacios/vmm_halt.c
@@ -63,7 +63,7 @@ int v3_handle_halt(struct guest_info * info) {
 	 * interrupt and stall the guest.
 	 */
 	if (!v3_intr_pending(info)) {
-	    v3_raise_irq(info, 0);
+	    v3_advance_time(info);
 	}