vga_get_seq
printf("%2x ", vga_get_seq(reg, i+j));
printf("%2x ", vga_get_seq(reg, i+j));
extern int vga_get_seq(vgaregmap_t reg, int i);
vga_reg->vga_seq[i] = vga_get_seq(regs, i);
(vga_get_seq(regs, VGA_SEQ_RST_SYN) &
(vga_get_seq(regs, VGA_SEQ_RST_SYN) |