1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21#ifndef VGA_IO_H
22#define VGA_IO_H
23
24
25
26
27
28
29unsigned char vga_enable_read(void);
30void vga_enable_write(unsigned char value);
31void vga_enable_mask(unsigned char value, unsigned char mask);
32
33
34unsigned char vga_misc_read(void);
35void vga_misc_write(unsigned char value);
36void vga_misc_mask(unsigned char value, unsigned char mask);
37
38
39unsigned char vga_sr_read(unsigned char index);
40void vga_sr_write(unsigned char index, unsigned char value);
41void vga_sr_mask(unsigned char index, unsigned char value, unsigned char mask);
42
43
44unsigned char vga_cr_read(unsigned char index);
45void vga_cr_write(unsigned char index, unsigned char value);
46void vga_cr_mask(unsigned char index, unsigned char value, unsigned char mask);
47
48
49unsigned char vga_ar_read(unsigned char index);
50void vga_ar_write(unsigned char index, unsigned char value);
51void vga_ar_mask(unsigned char index, unsigned char value, unsigned char mask);
52
53
54unsigned char vga_gr_read(unsigned char index);
55void vga_gr_write(unsigned char index, unsigned char value);
56void vga_gr_mask(unsigned char index, unsigned char value, unsigned char mask);
57
58
59void vga_palette_enable(void);
60void vga_palette_disable(void);
61unsigned char vga_dac_mask_read(void);
62void vga_dac_mask_write(unsigned char mask);
63void vga_dac_read_address(unsigned char address);
64void vga_dac_write_address(unsigned char address);
65unsigned char vga_dac_data_read(void);
66void vga_dac_data_write(unsigned char data);
67
68#endif
69