X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fio_apic.c;h=860cf8d31a77b0a572e12b55d251cd573627e7ec;hb=19c179d8c8a23c2612f9c12ec7cbedc299ce80e5;hp=8f4e085893e1fbe0a4e1e29b6cd77679b9c8e195;hpb=37c18b2c2335a41c68c2f0b779fd2b7d51ab216d;p=palacios.git

diff --git a/palacios/src/devices/io_apic.c b/palacios/src/devices/io_apic.c
index 8f4e085..860cf8d 100644
--- a/palacios/src/devices/io_apic.c
+++ b/palacios/src/devices/io_apic.c
@@ -23,7 +23,7 @@
 #include <devices/apic.h>
 
 
-#ifndef DEBUG_IO_APIC
+#ifndef CONFIG_DEBUG_IO_APIC
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif
@@ -323,7 +323,7 @@ static int ioapic_init(struct guest_info * vm, void * cfg_data) {
     struct vm_device * apic = v3_find_dev(vm, (char *)cfg_data);
 
     if (!apic) {
-	PrintError("Could not locate APIC device\n");
+	PrintError("Could not locate APIC device (%s)\n", (char *)cfg_data);
 	return -1;
     }