tag	line	file	source code
video_font_height	172	drivers/char/console.c	unsigned long  video_font_height;  /* Height of current screen font */
video_font_height	2076	drivers/char/console.c	default_font_height = video_font_height = ORIG_VIDEO_POINTS;
video_font_height	2078	drivers/char/console.c	video_scan_lines = video_font_height * video_num_lines;
video_font_height	2085	drivers/char/console.c	video_font_height, video_scan_lines);
video_font_height	28	drivers/char/selection.h	extern unsigned long video_font_height;
video_font_height	471	drivers/char/vga.c	if ( fontheight == video_font_height || fontheight == 0 )
video_font_height	474	drivers/char/vga.c	video_font_height = fontheight;
video_font_height	86	drivers/char/vt.c	extern unsigned long video_font_height;
video_font_height	946	drivers/char/vt.c	video_font_height = clin;
video_font_height	1045	drivers/char/vt.c	cfdarg.charheight = video_font_height;