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