taglinefilesource code
orig_video_lines29include/linux/tty.hunsigned char  orig_video_lines;
orig_video_lines42include/linux/tty.h#define ORIG_VIDEO_LINES  (screen_info.orig_video_lines)
orig_video_lines30zBoot/misc.cunsigned char  orig_video_lines;
orig_video_lines307zBoot/misc.clines = SCREEN_INFO.orig_video_lines;