taglinefilesource code
con_setsize124drivers/char/console.cstatic void con_setsize(unsigned long rows, unsigned long cols);
con_setsize1897drivers/char/console.ccon_setsize(ORIG_VIDEO_LINES, ORIG_VIDEO_COLS);