taglinefilesource code
charset871drivers/char/console.ctranslate = set_translate(charset == 0
charset1234drivers/char/console.cs_charset  = charset;
charset1247drivers/char/console.ccharset    = s_charset;
charset1251drivers/char/console.ctranslate  = set_translate(charset ? G1_charset : G0_charset);
charset1268drivers/char/console.ccharset    = 0;
charset1458drivers/char/console.ccharset = 1;
charset1463drivers/char/console.ccharset = 0;
charset1719drivers/char/console.cif (charset == 0)
charset1732drivers/char/console.cif (charset == 1)