tag
line
file
source code
saved_G0
1254
drivers/char/console.c
saved_G0 = G0_charset;
saved_G0
1267
drivers/char/console.c
G0_charset = saved_G0;