X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fvga.c;h=6e5687ce80a27618749eeac6c456b3b5fb482de3;hb=8340fc900a69b5e4093ae77e0984c12f157dca28;hp=51038ee83e63a6149da64f1f369ae538b15e5266;hpb=d487408d53568cb5a5f85c4f0d1cc92992c3fe62;p=palacios.git

diff --git a/palacios/src/devices/vga.c b/palacios/src/devices/vga.c
index 51038ee..6e5687c 100644
--- a/palacios/src/devices/vga.c
+++ b/palacios/src/devices/vga.c
@@ -26,7 +26,7 @@
 
 #include "vga_regs.h"
 
-#ifndef CONFIG_DEBUG_VGA
+#ifndef V3_CONFIG_DEBUG_VGA
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif