X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=3d524ed21536fa8888f849ff741126fb8a1a1e6a;hb=083af1763ddaecb78ff222141d78ba17df26aa47;hp=098b87de05e4470a5107aeac9f17236439a0f41c;hpb=19b2e4b4ce85ae4e683a3ede33360bdf7547b069;p=palacios.git

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 098b87d..3d524ed 100644
--- 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;
 }
 
@@ -998,7 +1000,7 @@ static void apic_update_time(ullong_t cpu_cycles, ullong_t cpu_freq, void * priv
 		   apic->tmr_vec_tbl.tmr_mode, apic->tmr_init_cnt, shift_num);
 
 	if (apic_intr_pending(dev->vm, priv_data)) {
-	    PrintDebug("Overriding pending IRQ %d\n", apic_get_intr_number(priv_data));
+	    PrintDebug("Overriding pending IRQ %d\n", apic_get_intr_number(dev->vm, priv_data));
 	}
 
 	if (activate_internal_irq(apic, APIC_TMR_INT) == -1) {