VGA_DAC_ADDRW
outb(IO_VGA + VGA_DAC_ADDRW, index);
vga_raw_write(vh, VGA_DAC_ADDRW, 0x00);
VGA_DAC_ADDRW, vga_atc[i]);
mgx_write_vga(sc, VGA_BASE + VGA_DAC_ADDRW, idx);