From: Peter Dinda <pdinda@northwestern.edu>
Date: Wed, 1 Jun 2016 01:16:19 +0000 (-0500)
Subject: VGA bug fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=7e1ce44438e3ba765e1a8ec2d67c03af12c841e7

VGA bug fix
---

diff --git a/palacios/src/devices/vga_regs.h b/palacios/src/devices/vga_regs.h
index fd4a068..f29a812 100644
--- a/palacios/src/devices/vga_regs.h
+++ b/palacios/src/devices/vga_regs.h
@@ -754,7 +754,7 @@ struct vga_attribute_mode_control_reg {
 	    uint8_t enable_line_graphics_char_code:1;
 	    // 1 => enable special line graphics characters
 	    //      and force 9th dot to be same as 8th dot of char
-	    uint8_t enable_blink;
+	    uint8_t enable_blink:1;
 	    // 1 => MSB of the attribute means blink (8 colors + blink)
 	    // 0 => MSB of the attribute means intensity (16 colors)
 	    uint8_t reserved:1;