tag	line	file	source code
orig_video_lines	34	include/linux/tty.h	unsigned char  orig_video_lines;
orig_video_lines	47	include/linux/tty.h	#define ORIG_VIDEO_LINES  (screen_info.orig_video_lines)