taglinefilesource code
utf_count1272drivers/char/console.cutf_count       = 0;
utf_count1367drivers/char/console.cif (utf_count > 0 && (c & 0xc0) == 0x80) {
utf_count1369drivers/char/console.cutf_count--;
utf_count1370drivers/char/console.cif (utf_count == 0)
utf_count1375drivers/char/console.cutf_count = 1;
utf_count1378drivers/char/console.cutf_count = 2;
utf_count1381drivers/char/console.cutf_count = 0;
utf_count1385drivers/char/console.cutf_count = 0;