tag	line	file	source code
vc_resize	1066	drivers/char/console.c	(void) vc_resize(video_num_lines, deccolm ? 132 : 80);
vc_resize	824	drivers/char/vt.c	return vc_resize(ll, cc);
vc_resize	26	drivers/char/vt_kern.h	int vc_resize(unsigned long lines, unsigned long cols);