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