taglinefilesource code
charset860drivers/char/console.ctranslate = set_translate(charset == 0
charset1255drivers/char/console.cs_charset  = charset;
charset1268drivers/char/console.ccharset    = s_charset;
charset1272drivers/char/console.ctranslate  = set_translate(charset ? G1_charset : G0_charset);
charset1290drivers/char/console.ccharset    = 0;
charset1506drivers/char/console.ccharset = 1;
charset1511drivers/char/console.ccharset = 0;
charset1797drivers/char/console.cif (charset == 0)
charset1810drivers/char/console.cif (charset == 1)