vga_set_seq
void vga_set_seq(int, int, int);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_RESET, VGA_SEQ_RST_NAR);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_CLOCKING_MODE,
vga_set_seq(VGA_REG_BASE, VGA_SEQ_MAP_MASK, VGA_SEQ_MM_EM2);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_MEMORY_MODE, 0x07);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_RESET,
vga_set_seq(VGA_REG_BASE, VGA_SEQ_RESET, VGA_SEQ_RST_NAR);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_MAP_MASK, reg[0]);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_MEMORY_MODE, reg[2]);
vga_set_seq(VGA_REG_BASE, VGA_SEQ_RESET,
vga_set_seq(VGA_REG_BASE, VGA_SEQ_CLOCKING_MODE, reg[1] & 0xdf);