taglinefilesource code
vc_init129drivers/char/console.cstatic void vc_init(unsigned int console, unsigned long rows, unsigned long cols,
vc_init335drivers/char/console.cvc_init (i, video_num_lines, video_num_columns, 1);
vc_init1955drivers/char/console.cvc_init(currcons, video_num_lines, video_num_columns, currcons);