318 static void video_drawchars(int xx, int yy, unsigned char *s, int count)  in video_drawchars()  argument
323 	offset = yy * VIDEO_LINE_LEN + xx * VIDEO_PIXEL_SIZE;  in video_drawchars()
501 static inline void video_drawstring(int xx, int yy, unsigned char *s)  in video_drawstring()  argument
503 	video_drawchars(xx, yy, s, strlen((char *) s));  in video_drawstring()
506 static void video_putchar(int xx, int yy, unsigned char c)  in video_putchar()  argument
508 	video_drawchars(xx, yy + video_logo_height, &c, 1);  in video_putchar()
519 static void video_invertchar(int xx, int yy)  in video_invertchar()  argument
523 	int firsty = yy * VIDEO_LINE_LEN;  in video_invertchar()
524 	int lasty = (yy + VIDEO_FONT_HEIGHT) * VIDEO_LINE_LEN;  in video_invertchar()
1909 		int xx = VIDEO_INFO_X, yy = VIDEO_INFO_Y;  in video_logo()  local
1914 				video_drawchars(xx, yy, p, space);  in video_logo()
1923 				yy += VIDEO_FONT_HEIGHT;  in video_logo()
1927 				video_drawchars(xx, yy, p, len);  in video_logo()