taglinefilesource code
utf_count1265drivers/char/console.cutf_count       = 0;
utf_count1362drivers/char/console.cif (utf_count > 0 && (c & 0xc0) == 0x80) {
utf_count1364drivers/char/console.cutf_count--;
utf_count1365drivers/char/console.cif (utf_count == 0)
utf_count1370drivers/char/console.cutf_count = 1;
utf_count1373drivers/char/console.cutf_count = 2;
utf_count1376drivers/char/console.cutf_count = 0;
utf_count1380drivers/char/console.cutf_count = 0;