vga_get_indexed
return (vga_get_indexed(reg, VGA_CRTC_ADDRESS, VGA_CRTC_DATA, i));
return (vga_get_indexed(reg, VGA_SEQ_ADDRESS, VGA_SEQ_DATA, i));
return (vga_get_indexed(reg, VGA_GC_ADDRESS, VGA_GC_DATA, i));
int vga_get_indexed(int, int, int, uint8_t);