tag	line	file	source code
video_font_height	177	drivers/char/console.c	unsigned long  video_font_height;  /* Height of current screen font */
video_font_height	2163	drivers/char/console.c	video_font_height = ORIG_VIDEO_POINTS;
video_font_height	2165	drivers/char/console.c	video_scan_lines = video_font_height * video_num_lines;
video_font_height	2167	drivers/char/console.c	video_font_height, video_scan_lines);
video_font_height	2629	drivers/char/console.c	if ( fontheight == video_font_height || fontheight == 0 )
video_font_height	2632	drivers/char/console.c	video_font_height = fontheight;
video_font_height	82	drivers/char/vt.c	extern unsigned long video_font_height;
video_font_height	918	drivers/char/vt.c	video_font_height = clin;
video_font_height	993	drivers/char/vt.c	cfdarg.charheight = video_font_height;