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);
23 /* page flip and return pointer to the start of the display area (front buffer) */
24 void *page_flip(int vsync);
27 void wait_vsync(void);
28 #pragma aux wait_vsync = \
42 #define wait_vsync() asm volatile ( \
43 "mov $0x3da, %%dx\n\t" \