void vga_dac_mask_write(unsigned char mask)
void vga_gr_mask(unsigned char index, unsigned char value, unsigned char mask)
void vga_ar_mask(unsigned char index, unsigned char value, unsigned char mask)
unsigned char vga_dac_data_read(void)
void vga_enable_mask(unsigned char value, unsigned char mask)
void vga_dac_data_write(unsigned char data)
void vga_dac_read_address(unsigned char address)
void vga_misc_write(unsigned char value)
unsigned char vga_misc_read(void)
void vga_palette_disable(void)
unsigned char vga_sr_read(unsigned char index)
void vga_gr_write(unsigned char index, unsigned char value)
void vga_cr_write(unsigned char index, unsigned char value)
void vga_enable_write(unsigned char value)
unsigned char vga_cr_read(unsigned char index)
void vga_cr_mask(unsigned char index, unsigned char value, unsigned char mask)
void vga_misc_mask(unsigned char value, unsigned char mask)
unsigned char vga_dac_mask_read(void)
void vga_ar_write(unsigned char index, unsigned char value)
unsigned char vga_ar_read(unsigned char index)
void vga_palette_enable(void)
void vga_sr_mask(unsigned char index, unsigned char value, unsigned char mask)
void vga_dac_write_address(unsigned char address)
unsigned char vga_gr_read(unsigned char index)
void vga_sr_write(unsigned char index, unsigned char value)
unsigned char vga_enable_read(void)