squelch unhandled interrupt messages

diff --git a/palacios/src/devices/8259a.c b/palacios/src/devices/8259a.c
index 03b8a55..5e3397e 100644 (file)
--- 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;
     }
 

diff --git a/palacios/src/devices/io_apic.c b/palacios/src/devices/io_apic.c
index 8eae20a..70aae6f 100644 (file)
--- a/palacios/src/devices/io_apic.c
+++ b/palacios/src/devices/io_apic.c
@@ -22,12 +22,12 @@
 
 #include <devices/apic.h>
 
-/*
-  #ifndef DEBUG_IO_APIC
-  #undef PrintDebug
-  #define PrintDebug(fmt, args...)
-  #endif
-*/
+
+#ifndef DEBUG_IO_APIC
+#undef PrintDebug
+#define PrintDebug(fmt, args...)
+#endif
+
 
 
 #define IO_APIC_BASE_ADDR 0xfec00000
@@ -273,7 +273,7 @@ static int ioapic_raise_irq(void * private_data, int irq) {
     struct redir_tbl_entry * irq_entry = NULL;
 
     if (irq > 24) {
-       PrintError("IRQ out of range of IO APIC\n");
+       PrintDebug("IRQ out of range of IO APIC\n");
        return -1;
     }