X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2F8259a.c;h=d1944f648b156278ddda636ba84edfdc872855b7;hp=5edec8c82865a209d4fa380e205c0ac211cd01b6;hb=52e81251f82ccaf516e3ed626c8abbcc9fbe3f41;hpb=19b2e4b4ce85ae4e683a3ede33360bdf7547b069

diff --git a/palacios/src/devices/8259a.c b/palacios/src/devices/8259a.c
index 5edec8c..d1944f6 100644
--- a/palacios/src/devices/8259a.c
+++ b/palacios/src/devices/8259a.c
@@ -209,6 +209,8 @@ static int pic_raise_intr(struct guest_info * info, void * private_data, int irq
 	return -1;
     }
 
+    v3_interrupt_cpu(info, 0);
+
     return 0;
 }