14 uint16_t psini_read16(int);
15 uint8_t psini_read8(int);
16 void psini_write16(int, uint16_t);
17 void psini_write8(int, uint8_t);
19 // void vga_select_bitplanes_02(void);
20 // void vga_select_bitplanes_13(void);
21 // void vga_select_bitplanes_0123(void);
22 // void vga_write32(int, int);
23 // void vga_set_line_compare(int);
24 // void vga_set_palette_entry(int, int, int, int);
25 // void vga_show_framebuffer(void);
26 // void vga_set_hscroll_offset(int);
27 // void vga_upload_palette(uint8_t *);