void set_vga_mode(int mode);
void *set_video_mode(int mode);
-int find_video_mode(int xsz, int ysz, int bpp);
+int find_video_mode_idx(int xsz, int ysz, int bpp);
int video_mode_count(void);
int video_mode_info(int n, struct video_mode *vid);
int get_color_mask(unsigned int *rmask, unsigned int *gmask, unsigned int *bmask);
int get_color_shift(int *rshift, int *gshift, int *bshift);
+const char *get_video_vendor(void);
+int get_video_mem_size(void);
+
/* defined in video_asm.s */
void wait_vsync(void);
+void set_pal_entry(unsigned char idx, unsigned char r, unsigned char g, unsigned char b);
#endif /* VIDEO_H_ */