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