9 short rbits, gbits, bbits;
10 short rshift, gshift, bshift;
11 uint32_t rmask, gmask, bmask;
19 void cleanup_video(void);
21 struct video_mode *video_modes(void);
22 int num_video_modes(void);
24 int match_video_mode(int xsz, int ysz, int bpp);
25 int find_video_mode(int mode);
27 /* argument is the mode list index [0, nmodes-1] */
28 void *set_video_mode(int idx, int nbuf);
29 int set_text_mode(void);
31 void set_palette(int idx, int r, int g, int b);
37 /* page flip and return pointer to the start of the display area (front buffer) */
38 void *page_flip(int vsync);
41 void wait_vsync(void);
42 #pragma aux wait_vsync = \
56 #define wait_vsync() asm volatile ( \
57 "mov $0x3da, %%dx\n\t" \