tag	line	file	source code
rep	110	drivers/char/keyboard.c	static char rep = 0;      /* flag telling character repeat */
rep	494	drivers/char/keyboard.c	rep = 0;
rep	504	drivers/char/keyboard.c	rep = set_bit(keycode, key_down);
rep	528	drivers/char/keyboard.c	if (!rep ||
rep	618	drivers/char/keyboard.c	if (rep)
rep	625	drivers/char/keyboard.c	if (rep)
rep	638	drivers/char/keyboard.c	if (rep || !tty)
rep	668	drivers/char/keyboard.c	if (!rep)
rep	934	drivers/char/keyboard.c	if (rep)
rep	1030	drivers/char/keyboard.c	if (up_flag || rep)
rep	1037	drivers/char/keyboard.c	if (up_flag || rep)