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