tag	line	file	source code
vc_allocate	2251	drivers/char/console.c	i = vc_allocate(idx);
vc_allocate	781	drivers/char/vt.c	i = vc_allocate(arg);
vc_allocate	839	drivers/char/vt.c	i = vc_allocate(newvt);
vc_allocate	34	drivers/char/vt_kern.h	int vc_allocate(unsigned int console);