5 uint16_t psini_read16(int);
6 uint8_t psini_read8(int);
7 void psini_write16(int, uint16_t);
8 void psini_write8(int, uint8_t);
10 void vga_select_bitplanes_02(void);
11 void vga_select_bitplanes_13(void);
12 void vga_select_bitplanes_0123(void);
13 void vga_write32(int, int);
14 void vga_set_line_compare(int);
15 void vga_set_palette_entry(int, int, int, int);
16 void vga_show_framebuffer(void);
17 void vga_set_hscroll_offset(int);
18 void vga_upload_palette(uint8_t *);
22 int init_copper(void);
23 int close_copper(void);