tag	line	file	source code
saved_G1	825	kernel/chr_drv/console.c	saved_G1  = G1_charset;
saved_G1	838	kernel/chr_drv/console.c	G1_charset  = saved_G1;