tag	line	file	source code
vc_saved_G1	131	kernel/chr_drv/console.c	char *    vc_saved_G1;
vc_saved_G1	159	kernel/chr_drv/console.c	#define saved_G1  (vc_cons[currcons].vc_saved_G1)