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