tag	line	file	source code
to_utf8	578	drivers/char/keyboard.c	to_utf8(keysym);
to_utf8	981	drivers/char/keyboard.c	to_utf8(npadch & 0xffff);