taglinefilesource code
orig_video_lines30arch/i386/boot/compressed/misc.cunsigned char  orig_video_lines;
orig_video_lines322arch/i386/boot/compressed/misc.clines = SCREEN_INFO.orig_video_lines;
orig_video_lines46include/linux/tty.hunsigned char  orig_video_lines;
orig_video_lines59include/linux/tty.h#define ORIG_VIDEO_LINES  (screen_info.orig_video_lines)