tag	line	file	source code
ORIG_VIDEO_LINES	1584	drivers/char/console.c	video_num_lines = ORIG_VIDEO_LINES;
ORIG_VIDEO_LINES	537	init/main.c	sprintf(term, "TERM=con%dx%d", ORIG_VIDEO_COLS, ORIG_VIDEO_LINES);