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