tag	line	file	source code
orig_video_lines	38	include/linux/tty.h	unsigned char  orig_video_lines;
orig_video_lines	51	include/linux/tty.h	#define ORIG_VIDEO_LINES  (screen_info.orig_video_lines)
orig_video_lines	30	zBoot/misc.c	unsigned char  orig_video_lines;
orig_video_lines	322	zBoot/misc.c	lines = SCREEN_INFO.orig_video_lines;