1 #ifndef VIDEO_VGA_H 2 #define VIDEO_VGA_H 3 4 /* drivers/vga_load_regs.c */ 5 void vga_load_regs(void); 6 7 /* drivers/vga_set_mode.c */ 8 void vga_set_gmode (void); 9 void vga_set_amode (void); 10 void vga_font_load(unsigned char *vidmem, const unsigned char *font, int height, int num_chars); 11 12 /* drivers/vga_vbe.c */ 13 void vga_set_color(int i, unsigned int r, unsigned int g, unsigned int b); 14 void vga_vbe_set_mode(int width, int height, int depth); 15 void vga_vbe_init(const char *path, unsigned long fb, uint32_t fb_size, 16 unsigned long rom, uint32_t rom_size); 17 18 extern volatile uint32_t *dac; 19 20 #endif /* VIDEO_VGA_H */ 21