vga_get_seq
int vga_get_seq(int, int);
reg[0] = vga_get_seq(VGA_REG_BASE, VGA_SEQ_MAP_MASK);
reg[1] = vga_get_seq(VGA_REG_BASE, VGA_SEQ_CLOCKING_MODE);
reg[2] = vga_get_seq(VGA_REG_BASE, VGA_SEQ_MEMORY_MODE);