taglinefilesource code
ORIG_VIDEO_LINES1897drivers/char/console.ccon_setsize(ORIG_VIDEO_LINES, ORIG_VIDEO_COLS);
ORIG_VIDEO_LINES423init/main.csprintf(term, "TERM=con%dx%d", ORIG_VIDEO_COLS, ORIG_VIDEO_LINES);