tag	line	file	source code
s_charset	887	kernel/chr_drv/console.c	s_charset  = charset;
s_charset	900	kernel/chr_drv/console.c	charset    = s_charset;