X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fio_apic.c;fp=palacios%2Fsrc%2Fdevices%2Fio_apic.c;h=70aae6f05b253807eb6175486c3d867cf479664e;hb=debb8d55e42ecf02a0967cbbed9247e707e99c7b;hp=8eae20af8009667ba76a1d235222f99a40f53a9c;hpb=94b42c66724ba357375ea31a3c3b90755e0bd52d;p=palacios.git

diff --git a/palacios/src/devices/io_apic.c b/palacios/src/devices/io_apic.c
index 8eae20a..70aae6f 100644
--- 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;
     }