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