tag	line	file	source code
ORIG_VIDEO_LINES	159	init/main.c	sprintf(term, "TERM=con%dx%d", ORIG_VIDEO_COLS, ORIG_VIDEO_LINES);
ORIG_VIDEO_LINES	1263	kernel/chr_drv/console.c	video_num_lines = ORIG_VIDEO_LINES;