5 int video_get_res(int *w
, int *h
);
6 void draw_pixel(int x
, int y
, int colind
);
7 void set_color(int ind
, unsigned long color
);
8 void video_scroll(int height
);
9 void init_video(unsigned long fb
, int width
, int height
, int depth
, int rb
);
11 #endif /* VIDEO_SUBR_H */
