VGA_CRTC_ADR
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_ADR, index);
outb(VGA_REG_ADDR + VGA_CRTC_ADR, index);