tag	line	file	source code
vc_allocate	2205	drivers/char/console.c	i = vc_allocate(idx);
vc_allocate	701	drivers/char/vt.c	i = vc_allocate(arg);
vc_allocate	759	drivers/char/vt.c	i = vc_allocate(newvt);
vc_allocate	24	drivers/char/vt_kern.h	int vc_allocate(unsigned int console);