tag	line	file	source code
rep	121	drivers/char/keyboard.c	static char rep = 0;      /* flag telling character repeat */
rep	503	drivers/char/keyboard.c	rep = 0;
rep	513	drivers/char/keyboard.c	rep = set_bit(keycode, key_down);
rep	537	drivers/char/keyboard.c	if (!rep ||
rep	627	drivers/char/keyboard.c	if (rep)
rep	634	drivers/char/keyboard.c	if (rep)
rep	647	drivers/char/keyboard.c	if (rep || !tty)
rep	677	drivers/char/keyboard.c	if (!rep)
rep	943	drivers/char/keyboard.c	if (rep)
rep	1039	drivers/char/keyboard.c	if (up_flag || rep)
rep	1046	drivers/char/keyboard.c	if (up_flag || rep)