X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2F8259a.c;h=5e3397eaf7611c85069b5c43e9c43243772cca60;hb=debb8d55e42ecf02a0967cbbed9247e707e99c7b;hp=03b8a555365911d5325c27ebe764bbe9c9fd71e4;hpb=94b42c66724ba357375ea31a3c3b90755e0bd52d;p=palacios.git

diff --git a/palacios/src/devices/8259a.c b/palacios/src/devices/8259a.c
index 03b8a55..5e3397e 100644
--- a/palacios/src/devices/8259a.c
+++ b/palacios/src/devices/8259a.c
@@ -195,7 +195,7 @@ static int pic_raise_intr(void * private_data, int irq) {
     } else if ((irq > 7) && (irq < 16)) {
 	state->slave_irr |= 0x01 << (irq - 8);  // PAD if -7 then irq 15=no irq
     } else {
-	PrintError("8259 PIC: Invalid IRQ raised (%d)\n", irq);
+	PrintDebug("8259 PIC: Invalid IRQ raised (%d)\n", irq);
 	return -1;
     }