tag	line	file	source code
utf	1258	drivers/char/console.c	utf             = 0;
utf	1351	drivers/char/console.c	if (utf) {
utf	1398	drivers/char/console.c	ok = (tc && (c >= 32 || (!utf && !(((disp_ctrl ? CTRL_ALWAYS
utf	1725	drivers/char/console.c	utf = 0;
utf	1729	drivers/char/console.c	utf = 1;