added final ipi_state transition

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index fe1ecaa..31099b5 100644 (file)
--- 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