tag	line	file	source code
video_font_height	166	drivers/char/console.c	unsigned long  video_font_height;  /* Height of current screen font */
video_font_height	2044	drivers/char/console.c	default_font_height = video_font_height = ORIG_VIDEO_POINTS;
video_font_height	2046	drivers/char/console.c	video_scan_lines = video_font_height * video_num_lines;
video_font_height	2053	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	468	drivers/char/vga.c	if ( fontheight == video_font_height || fontheight == 0 )
video_font_height	471	drivers/char/vga.c	video_font_height = fontheight;
video_font_height	85	drivers/char/vt.c	extern unsigned long video_font_height;
video_font_height	922	drivers/char/vt.c	video_font_height = clin;
video_font_height	1021	drivers/char/vt.c	cfdarg.charheight = video_font_height;