tag	line	file	source code
repke0	67	kernel/chr_drv/keyboard.c	static unsigned char rep = 0xff, repke0 = 0;
repke0	111	kernel/chr_drv/keyboard.c	repke0 = ke0;
repke0	113	kernel/chr_drv/keyboard.c	} else if (ke0 == repke0 && (scancode & 0x7f) == rep)