VGA_IS1_RC
(void)bochs_vga_readb(bochs, VGA_IS1_RC);
inb_p(VGA_IS1_RC);
i740inb(par, VGA_IS1_RC); /* reset flip-flop */
i740inb(par, VGA_IS1_RC);
vga_r(NULL, VGA_IS1_RC);
vga_r(NULL, VGA_IS1_RC);
vga_r(NULL, VGA_IS1_RC);
fb_readb(par->io_virt + VGA_IS1_RC); /* flip-flop to index */
fb_readb(par->io_virt + VGA_IS1_RC); /* flip-flop to index */
vga_io_r(VGA_IS1_RC); /* reset flip-flop */
vga_io_r(VGA_IS1_RC);
vga_io_r(VGA_IS1_RC); /* reset flip-flop */
vga_io_r(VGA_IS1_RC);
vga_io_r(VGA_IS1_RC); /* ! 0x3BA */
vga_io_r(VGA_IS1_RC); /* some clones need it */
vga_r(regbase, VGA_IS1_RC);