X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=5afe31dac1bd41218e6d7bd8f111ec0ec785d5d5;hb=96d2a87b2229a49420a64b0e974f7269ecc76fed;hp=5963e59152c61dd2ab322ea949dbd99d7538af37;hpb=e071b22dc5eefe103aff4c29a981bb57334bb355;p=palacios.git

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 5963e59..5afe31d 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -296,7 +296,7 @@ static int apic_do_eoi(struct apic_state * apic) {
 
 		    if ((((i * 8) + j) == 238) || 
 			(((i * 8) + j) == 239)) {
-			PrintError("Acking IRQ %d\n");
+			PrintError("Acking IRQ %d\n", ((i * 8) + j));
 		    }
  		    
 		    if (((i * 8) + j) == 238) {