tag
line
file
source code
saved_G1
1255
drivers/char/console.c
saved_G1 = G1_charset;
saved_G1
1268
drivers/char/console.c
G1_charset = saved_G1;