8 void *set_video_mode(int xsz, int ysz, int bpp);
9 int set_text_mode(void);
11 int get_color_depth(void);
12 int get_color_bits(int *rbits, int *gbits, int *bbits);
13 int get_color_shift(int *rshift, int *gshift, int *bshift);
14 int get_color_mask(unsigned int *rmask, unsigned int *gmask, unsigned int *bmask);
16 void set_palette(int idx, int r, int g, int b);
18 void wait_vsync(void);