Cleaned up time management stuff, being more careful on signs of various time computa...

[palacios.git] / palacios / src / devices / vga.c

diff --git a/palacios/src/devices/vga.c b/palacios/src/devices/vga.c
index ce28940..6e5687c 100644 (file)
--- 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;