From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Wed, 27 Oct 2010 17:45:47 +0000 (-0500)
Subject: added final ipi_state transition
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=b6e528a6dba181bfbf151ec72ebfad03971fa297;p=palacios.git

added final ipi_state transition
---

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index fe1ecaa..31099b5 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -629,6 +629,7 @@ static int deliver_ipi(struct guest_info * core,
 	    
 	    // We transition the target core to SIPI state
 	    dst_core->core_run_state = CORE_RUNNING;  // note: locking should not be needed here
+	    dst_apic->ipi_state = STARTED;
 
 	    // As with INIT, we should not need to do anything else