tag	line	file	source code
vc_num	1429	drivers/char/console.c	currcons = vt->vc_num;
vc_num	2370	drivers/char/console.c	vt_cons[idx]->vc_num = idx;
vc_num	194	drivers/char/vt.c	console = vt->vc_num;
vc_num	22	drivers/char/vt_kern.h	int vc_num;        /* The console number */