tag	line	file	source code
rep	115	drivers/char/keyboard.c	static char rep = 0;      /* flag telling character repeat */
rep	500	drivers/char/keyboard.c	rep = 0;
rep	510	drivers/char/keyboard.c	rep = set_bit(keycode, key_down);
rep	534	drivers/char/keyboard.c	if (!rep ||
rep	624	drivers/char/keyboard.c	if (rep)
rep	631	drivers/char/keyboard.c	if (rep)
rep	644	drivers/char/keyboard.c	if (rep || !tty)
rep	674	drivers/char/keyboard.c	if (!rep)
rep	940	drivers/char/keyboard.c	if (rep)
rep	1036	drivers/char/keyboard.c	if (up_flag || rep)
rep	1043	drivers/char/keyboard.c	if (up_flag || rep)