tag	line	file	source code
vc_disallocate	877	drivers/char/vt.c	vc_disallocate(i);
vc_disallocate	884	drivers/char/vt.c	vc_disallocate(arg);
vc_disallocate	37	drivers/char/vt_kern.h	void vc_disallocate(unsigned int console);