tag	line	file	source code
rep	97	kernel/chr_drv/keyboard.c	static unsigned char rep = 0xff;
rep	142	kernel/chr_drv/keyboard.c	if ((scancode != rep) ||
rep	146	kernel/chr_drv/keyboard.c	rep = scancode;