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