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