tag	line	file	source code
utf	1322	drivers/char/console.c	utf             = 0;
utf	1415	drivers/char/console.c	if (utf) {
utf	1741	drivers/char/console.c	utf = 0;
utf	1748	drivers/char/console.c	utf = 1;