X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2F8259a.c;h=5e3397eaf7611c85069b5c43e9c43243772cca60;hb=3394f4121b3d8258c2f83585d54452b63f91c7b1;hp=03b8a555365911d5325c27ebe764bbe9c9fd71e4;hpb=4bc3ee757b44d3e466fd89e348106c47fa5511ee;p=palacios.releases.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;
     }