172 #define VIDEO_INFO_Y		(VIDEO_FONT_HEIGHT/2)
187 #define CONSOLE_ROWS		((VIDEO_ROWS - video_logo_height) / VIDEO_FONT_HEIGHT)
189 #define CONSOLE_ROWS		(VIDEO_ROWS / VIDEO_FONT_HEIGHT)
193 #define CONSOLE_ROW_SIZE	(VIDEO_FONT_HEIGHT * VIDEO_LINE_LEN)
333 			cdat = video_fontdata + c * VIDEO_FONT_HEIGHT;  in video_drawchars()
334 			for (rows = VIDEO_FONT_HEIGHT, dest = dest0;  in video_drawchars()
357 			cdat = video_fontdata + c * VIDEO_FONT_HEIGHT;  in video_drawchars()
358 			for (rows = VIDEO_FONT_HEIGHT, dest = dest0;  in video_drawchars()
391 			cdat = video_fontdata + c * VIDEO_FONT_HEIGHT;  in video_drawchars()
392 			for (rows = VIDEO_FONT_HEIGHT, dest = dest0;  in video_drawchars()
425 			cdat = video_fontdata + c * VIDEO_FONT_HEIGHT;  in video_drawchars()
426 			for (rows = VIDEO_FONT_HEIGHT, dest = dest0;  in video_drawchars()
468 			cdat = video_fontdata + c * VIDEO_FONT_HEIGHT;  in video_drawchars()
469 			for (rows = VIDEO_FONT_HEIGHT, dest = dest0;  in video_drawchars()
526 	int lasty = (yy + VIDEO_FONT_HEIGHT) * VIDEO_LINE_LEN;  in video_invertchar()
542 					 old_row * VIDEO_FONT_HEIGHT +  in console_cursor()
547 					 console_row * VIDEO_FONT_HEIGHT +  in console_cursor()
581 			  VIDEO_FONT_HEIGHT * line,	/* dest pos y */  in console_clear_line()
583 			  VIDEO_FONT_HEIGHT,		/* frame height */  in console_clear_line()
604 		for (i = 0; i < VIDEO_FONT_HEIGHT; i++)  in console_clear_line()
621 				VIDEO_FONT_HEIGHT * rows, /* source pos y */  in console_scrollup()
627 			- VIDEO_FONT_HEIGHT * rows	/* frame height */  in console_scrollup()
793 			      console_row * VIDEO_FONT_HEIGHT, c);  in parse_putc()
1910 				VIDEO_INFO_Y + VIDEO_FONT_HEIGHT,  in video_logo()
1920 			  VIDEO_FONT_HEIGHT) / VIDEO_FONT_HEIGHT);  in video_logo()
1932 							VIDEO_FONT_HEIGHT,  in video_logo()
1939 							VIDEO_FONT_HEIGHT,  in video_logo()
1946 							VIDEO_FONT_HEIGHT,  in video_logo()