X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fpci_front.c;h=70dc980014c59f01452ccb1257175c5ce9fecb60;hb=4dd1b9b1f155688a8196c1bc9f32f74275511718;hp=487ab5c1f1430b2656ce07f1a51f067e30c1438a;hpb=b283373f3067fe329fb6c526f62d72cec27f4149;p=palacios.releases.git

diff --git a/palacios/src/devices/pci_front.c b/palacios/src/devices/pci_front.c
index 487ab5c..70dc980 100644
--- a/palacios/src/devices/pci_front.c
+++ b/palacios/src/devices/pci_front.c
@@ -57,7 +57,7 @@
 #include <interfaces/vmm_host_dev.h>
 
 
-#ifndef CONFIG_DEBUG_PCI_FRONT
+#ifndef V3_CONFIG_DEBUG_PCI_FRONT
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif