taglinefilesource code
utf_char1370drivers/char/console.cutf_char = (utf_char << 6) | (c & 0x3f);
utf_char1373drivers/char/console.cc = utf_char;
utf_char1378drivers/char/console.cutf_char = (c & 0x1f);
utf_char1381drivers/char/console.cutf_char = (c & 0x0f);