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