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