tag	line	file	source code
vc_num	1350	drivers/char/console.c	currcons = vt->vc_num;
vc_num	2209	drivers/char/console.c	vt_cons[idx]->vc_num = idx;
vc_num	138	drivers/char/vt.c	console = vt->vc_num;
vc_num	12	drivers/char/vt_kern.h	int vc_num;        /* The console number */