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