X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_assist.c;h=cd2c2b950d9589bb4b71543cb621f1cbfc491434;hb=81361b1fc66eb2ca2e1eb80d3c3b98c6accde9d0;hp=cfea9bba73cf3811a60d71c1802902e169411ba6;hpb=40d79cccadcdeb5b4744bf965030b40b0d5cb1fb;p=palacios.git

diff --git a/palacios/src/palacios/vmx_assist.c b/palacios/src/palacios/vmx_assist.c
index cfea9bb..cd2c2b9 100644
--- a/palacios/src/palacios/vmx_assist.c
+++ b/palacios/src/palacios/vmx_assist.c
@@ -23,7 +23,7 @@
 #include <palacios/vmx.h>
 #include <palacios/vmm_ctrl_regs.h>
 
-#ifndef CONFIG_DEBUG_VMX
+#ifndef V3_CONFIG_DEBUG_VMX
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif