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