tag	line	file	source code
vc_kbde0	154	kernel/chr_drv/vt.c	vt_cons[console].vc_kbde0 = 0;
vc_kbde0	11	kernel/chr_drv/vt_kern.h	unsigned char  vc_kbde0;