tag	line	file	source code
rep	112	drivers/char/keyboard.c	static char rep = 0;      /* flag telling character repeat */
rep	514	drivers/char/keyboard.c	rep = 0;
rep	524	drivers/char/keyboard.c	rep = set_bit(keycode, key_down);
rep	548	drivers/char/keyboard.c	if (!rep ||
rep	638	drivers/char/keyboard.c	if (rep)
rep	645	drivers/char/keyboard.c	if (rep)
rep	658	drivers/char/keyboard.c	if (rep || !tty)
rep	688	drivers/char/keyboard.c	if (!rep)
rep	954	drivers/char/keyboard.c	if (rep)
rep	1050	drivers/char/keyboard.c	if (up_flag || rep)
rep	1057	drivers/char/keyboard.c	if (up_flag || rep)