tag	line	file	source code
vc_saved_G0	134	kernel/chr_drv/console.c	unsigned char *  vc_saved_G0;
vc_saved_G0	160	kernel/chr_drv/console.c	#define saved_G0  (vc_cons[currcons].vc_saved_G0)