tag	line	file	source code
saved_G0	824	kernel/chr_drv/console.c	saved_G0  = G0_charset;
saved_G0	837	kernel/chr_drv/console.c	G0_charset  = saved_G0;