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