X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fcga.c;h=e9556c86ff7499486c2caf6a4289f1f88ba6c1a3;hb=b21326f1dd2bcd45a3067169e0a328316312b3f1;hp=7dd2bdd44fb204e473bf380e1622317de14074e8;hpb=5b1f618cf74dbcd7e490fa3fe4da5a4c53d79b5d;p=palacios-OLD.git

diff --git a/palacios/src/devices/cga.c b/palacios/src/devices/cga.c
index 7dd2bdd..e9556c8 100644
--- a/palacios/src/devices/cga.c
+++ b/palacios/src/devices/cga.c
@@ -31,12 +31,12 @@
 #include <devices/console.h>
 
 
-#if CONFIG_DEBUG_CGA >= 2
+#if V3_CONFIG_DEBUG_CGA >= 2
 #define PrintVerbose PrintDebug
 #else
 #define PrintVerbose(fmt, args...)
 #endif
-#ifndef CONFIG_DEBUG_CGA
+#if V3_CONFIG_DEBUG_CGA == 0
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif
@@ -443,7 +443,7 @@ static void passthrough_out(uint16_t port, const void * src, uint_t length) {
     }
 }
 
-#if CONFIG_DEBUG_CGA >= 2
+#if V3_CONFIG_DEBUG_CGA >= 2
 static unsigned long get_value(const void *ptr, int len) {
   unsigned long value = 0;