VGA_GC_DATA
return (vga_get_indexed(reg, VGA_GC_ADDRESS, VGA_GC_DATA, i));
vga_set_indexed(reg, VGA_GC_ADDRESS, VGA_GC_DATA, i, v);
REG_WRITE1(sc, VGA_GC_DATA, 0x04 + VGA_GC_MISC_GA);
REG_WRITE1(sc, VGA_GC_DATA, 0);
REG_WRITE1(sc, VGA_GC_DATA, 0x0f);
REG_WRITE1(sc, VGA_GC_DATA, 0);
REG_WRITE1(sc, VGA_GC_DATA, 0);
REG_WRITE1(sc, VGA_GC_DATA, 0);
REG_WRITE1(sc, VGA_GC_DATA, 0);
REG_WRITE1(sc, VGA_GC_DATA, 0x0f);
REG_WRITE1(sc, VGA_GC_DATA, 0xff);
REG_WRITE1(sc, VGA_GC_DATA, 3);
REG_WRITE1(sc, VGA_GC_DATA, 0x00);
REG_WRITE1(sc, VGA_GC_DATA, wmode);
REG_WRITE1(sc, VGA_GC_DATA, cons_to_vga_colors[color]);
REG_WRITE1(sc, VGA_GC_DATA, cons_to_vga_colors[color]);