void vid_register_vga(void); /* drv_vga.c */
void vid_register_vbe(void); /* drv_vbe.c */
void vid_register_s3(void); /* drv_s3.c */
void vid_register_vga(void); /* drv_vga.c */
void vid_register_vbe(void); /* drv_vbe.c */
void vid_register_s3(void); /* drv_s3.c */