X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fmcheck.c;h=ec93d7f4930d7b376f973f7d471ceb1ab51f366a;hb=ee05d4a828862fb4e79616585c15be0aee11ea50;hp=78ddaa273d99f08b0a0e90f14c25e56790cd7885;hpb=0d1e0dd23b9c0897c3a315731a859c389273d713;p=palacios-OLD.git

diff --git a/palacios/src/devices/mcheck.c b/palacios/src/devices/mcheck.c
index 78ddaa2..ec93d7f 100644
--- a/palacios/src/devices/mcheck.c
+++ b/palacios/src/devices/mcheck.c
@@ -34,7 +34,7 @@
 #include <palacios/vmm_string.h>
 #include <palacios/vmm_cpuid.h>
 
-#ifndef CONFIG_DEBUG_MCHECK
+#ifndef V3_CONFIG_DEBUG_MCHECK
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif