tag	line	file	source code
vc_disallocate	851	drivers/char/vt.c	vc_disallocate(i);
vc_disallocate	858	drivers/char/vt.c	vc_disallocate(arg);
vc_disallocate	27	drivers/char/vt_kern.h	void vc_disallocate(unsigned int console);