+
+void *set_video_mode(int mode);
+int find_video_mode(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);