2 #ifdef CONFIG_VGA_WIDTH
3 #define VGA_DEFAULT_WIDTH CONFIG_VGA_WIDTH
5 #define VGA_DEFAULT_WIDTH 800
8 #ifdef CONFIG_VGA_HEIGHT
9 #define VGA_DEFAULT_HEIGHT CONFIG_VGA_HEIGHT
11 #define VGA_DEFAULT_HEIGHT 600
14 #ifdef CONFIG_VGA_DEPTH
15 #define VGA_DEFAULT_DEPTH CONFIG_VGA_DEPTH
17 #define VGA_DEFAULT_DEPTH 8
20 #define VGA_DEFAULT_LINEBYTES (VGA_DEFAULT_WIDTH*((VGA_DEFAULT_DEPTH+7)/8))
22 void setup_video(void);
23 unsigned long video_get_color(int col_ind);
24 void video_mask_blit(void);
25 void video_invert_rect(void);
26 void video_fill_rect(void);
28 extern struct video_info {
29 volatile ihandle_t *ih;
30 volatile ucell *mvirt;
31 volatile ucell *rb, *w, *h, *depth;
33 volatile ucell *pal; /* 256 elements */
36 #define VIDEO_DICT_VALUE(x) (*(ucell *)(x))