X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fvga.c;h=6e5687ce80a27618749eeac6c456b3b5fb482de3;hb=33d86eaa5e5081775fd013466393496b476925b0;hp=ce28940dd944a3f3b5e29b49a9802313fd8474ca;hpb=2e0992e07d6aebe06bab827f2534c074b9d7bb9e;p=palacios-OLD.git

diff --git a/palacios/src/devices/vga.c b/palacios/src/devices/vga.c
index ce28940..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
@@ -1194,7 +1194,7 @@ static int vga_write(struct guest_info * core,
 #endif
 		    // rotate data right
 		    if (ror) { 
-			data = (data>>ror) | data<<(8-ror);
+			data = (data>>ror) | (data<<(8-ror));
 		    }
 		    
 #if DEBUG_DEEP_MEM
@@ -1384,7 +1384,7 @@ static int vga_write(struct guest_info * core,
 		uint8_t data = ((uint8_t *)src)[i];
 
 		if (ror) {
-		    data = (data>>ror) | data<<(8-ror);
+		    data = (data>>ror) | (data<<(8-ror));
 		}
 
 		uint8_t bm = vga->vga_graphics_controller.vga_bit_mask & data;