X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_halt.c;h=a8bf0b982ac28daa2db406b6dad29888e13c5cd7;hb=0e232390dba4ac9732d934315688ecb99effe4f8;hp=2e6f9e2eaf8363971e5eb8d18884c6cc1da5c238;hpb=afffedf9ab57494864f0710a2530958fa9e216cc;p=palacios.git

diff --git a/palacios/src/palacios/svm_halt.c b/palacios/src/palacios/svm_halt.c
index 2e6f9e2..a8bf0b9 100644
--- a/palacios/src/palacios/svm_halt.c
+++ b/palacios/src/palacios/svm_halt.c
@@ -22,7 +22,7 @@
 #include <palacios/vmm_intr.h>
 
 
-#ifndef DEBUG_HALT
+#ifndef CONFIG_DEBUG_HALT
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif