tag	line	file	source code
utf_char	1421	drivers/char/console.c	utf_char = (utf_char << 6) | (c & 0x3f);
utf_char	1424	drivers/char/console.c	c = utf_char;
utf_char	1429	drivers/char/console.c	utf_char = (c & 0x1f);
utf_char	1432	drivers/char/console.c	utf_char = (c & 0x0f);