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