VGA_CRTC_DATA
return (vga_get_indexed(reg, VGA_CRTC_ADR, VGA_CRTC_DATA, i));
vga_set_indexed(reg, VGA_CRTC_ADR, VGA_CRTC_DATA, i, v);
outb(VGA_REG_ADDR + VGA_CRTC_DATA, val);
return (inb(VGA_REG_ADDR + VGA_CRTC_DATA));