tag	line	file	source code
vc_init	130	drivers/char/console.c	static void vc_init(unsigned int console, unsigned long rows, unsigned long cols,
vc_init	336	drivers/char/console.c	vc_init (i, video_num_lines, video_num_columns, 1);
vc_init	1962	drivers/char/console.c	vc_init(currcons, video_num_lines, video_num_columns, currcons);