tag
line
file
source code
saved_G1
890
kernel/chr_drv/console.c
saved_G1 = G1_charset;
saved_G1
903
kernel/chr_drv/console.c
G1_charset = saved_G1;