tag
line
file
source code
saved_G0
1238
drivers/char/console.c
saved_G0 = G0_charset;
saved_G0
1251
drivers/char/console.c
G0_charset = saved_G0;