vga_raw_read
*palette++ = vga_raw_read(vh, VGA_DAC_DATA);
res = vga_raw_read(vh, VGA_ATC_DATAR);
return (vga_raw_read(vh, VGA_TS_DATA));
return (vga_raw_read(vh, VGA_GDC_DATA));