added cpu interruption interface

[palacios.git] / palacios / src / devices / apic.c

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 098b87d..5c5f7a4 100644 (file)
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -923,6 +923,8 @@ int v3_apic_raise_intr(struct guest_info * info, struct vm_device * apic_dev, in
        return -1;
     } 
 
+    v3_interrupt_cpu(info, 0);
+
     return 0;
 }