tag	line	file	source code
rep	56	kernel/chr_drv/keyboard.c	static unsigned char rep = 0xff;
rep	95	kernel/chr_drv/keyboard.c	if (scancode == rep) {
rep	105	kernel/chr_drv/keyboard.c	rep = scancode;