tag	line	file	source code
default_font_height	174	drivers/char/console.c	unsigned long   default_font_height;    /* Height of default screen font */
default_font_height	2076	drivers/char/console.c	default_font_height = video_font_height = ORIG_VIDEO_POINTS;
default_font_height	30	drivers/char/selection.h	extern unsigned long default_font_height;
default_font_height	87	drivers/char/vt.c	extern unsigned long default_font_height;
default_font_height	1023	drivers/char/vt.c	i = con_adjust_height(default_font_height);