vga_set_seq
vga_set_seq(VGA_REG_ADDR, 0x00, 0x01);
vga_set_seq(VGA_REG_ADDR, 0x02, 0x04);
vga_set_seq(VGA_REG_ADDR, 0x04, 0x07);
vga_set_seq(VGA_REG_ADDR, 0x00, 0x03);
vga_set_seq(VGA_REG_ADDR, 0x00, 0x01);
vga_set_seq(VGA_REG_ADDR, 0x02, 0x03);
vga_set_seq(VGA_REG_ADDR, 0x04, 0x03);
vga_set_seq(VGA_REG_ADDR, 0x03, fsreg[s]);
vga_set_seq(VGA_REG_ADDR, 0x00, 0x03);
extern void vga_set_seq(vgaregmap_t reg, int i, int v);
vga_set_seq(&console->vga.regs, 0x00, 0x01);
vga_set_seq(&console->vga.regs, 0x02, 0x04);
vga_set_seq(&console->vga.regs, 0x04, 0x07);
vga_set_seq(&console->vga.regs, 0x00, 0x03);
vga_set_seq(&console->vga.regs, 0x00, 0x01);
vga_set_seq(&console->vga.regs, 0x02, 0x03);
vga_set_seq(&console->vga.regs, 0x04, 0x03);
vga_set_seq(&console->vga.regs, 0x03, fsreg[s]);
vga_set_seq(&console->vga.regs, 0x00, 0x03);
vga_set_seq(regs, VGA_SEQ_RST_SYN,
vga_set_seq(regs, i, VGA_SEQ_TEXT[i]);
vga_set_seq(regs, VGA_SEQ_RST_SYN,