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