bochs_vga_writeb
bochs_vga_writeb(bochs, VGA_MIS_W, VGA_MIS_COLOR);
bochs_vga_writeb(bochs, VGA_ATT_W, blank ? 0 : 0x20);