tag	line	file	source code
orig_video_lines	29	include/linux/tty.h	unsigned char  orig_video_lines;
orig_video_lines	42	include/linux/tty.h	#define ORIG_VIDEO_LINES  (screen_info.orig_video_lines)
orig_video_lines	27	zBoot/misc.c	unsigned char  orig_video_lines;
orig_video_lines	283	zBoot/misc.c	lines = SCREEN_INFO.orig_video_lines;