X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fio_apic.c;h=3579fdecbdf1755ae159ed58963cee290888d275;hb=ab05bf98e06c0b78a06e6dc5e2d64722dafdafb8;hp=b9375a81e2baa2ae3ffa3360357ebc3d41b7e845;hpb=a34051536e91aa7ef3ca7123fc2342771bd34391;p=palacios-OLD.git

diff --git a/palacios/src/devices/io_apic.c b/palacios/src/devices/io_apic.c
index b9375a8..3579fde 100644
--- a/palacios/src/devices/io_apic.c
+++ b/palacios/src/devices/io_apic.c
@@ -23,7 +23,7 @@
 #include <devices/apic.h>
 #include <palacios/vm_guest.h>
 
-#ifndef CONFIG_DEBUG_IO_APIC
+#ifndef V3_CONFIG_DEBUG_IO_APIC
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif