tag	line	file	source code
default_font_height	161	drivers/char/console.c	unsigned long    default_font_height;    /* Height of default screen font */
default_font_height	2000	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	84	drivers/char/vt.c	extern unsigned long default_font_height;
default_font_height	997	drivers/char/vt.c	i = con_adjust_height(default_font_height);