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