taglinefilesource code
rows139drivers/char/console.cstatic void con_setsize(unsigned long rows, unsigned long cols);
rows140drivers/char/console.cstatic void vc_init(unsigned int console, unsigned long rows,
rows1958drivers/char/console.cstatic void vc_init(unsigned int currcons, unsigned long rows, unsigned long cols, int do_clear)
rows1964drivers/char/console.cvideo_num_lines = rows;
rows1984drivers/char/console.cstatic void con_setsize(unsigned long rows, unsigned long cols)
rows1986drivers/char/console.cvideo_num_lines = rows;
rows2670drivers/char/console.cint rows, maxscan;
rows2682drivers/char/console.crows = video_scan_lines/fontheight;  /* Number of video rows we end up with */
rows2683drivers/char/console.cmaxscan = rows*fontheight - 1;    /* Scan lines to actually display-1 */
rows2727drivers/char/console.cif ( rows == video_num_lines ) {
rows2733drivers/char/console.cvc_resize(rows, 0);      /* Adjust console size */
rows2735drivers/char/console.creturn rows;
rows119init/main.cint rows, cols;