tag	line	file	source code
ret_diacr	529	drivers/char/keyboard.c	static unsigned char ret_diacr[] =
ret_diacr	540	drivers/char/keyboard.c	value = ret_diacr[value];