int width, height;
int bpp;
int rbits, gbits, bbits;
+ int rshift, gshift, bshift;
unsigned int rmask, gmask, bmask;
};
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_bits(int *rbits, int *gbits, int *bbits);
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_ */