tag	line	file	source code
prev_scancode	343	drivers/char/keyboard.c	static unsigned int prev_scancode = 0;   /* remember E0, E1 */
prev_scancode	375	drivers/char/keyboard.c	prev_scancode = 0;
prev_scancode	400	drivers/char/keyboard.c	prev_scancode = 0;
prev_scancode	405	drivers/char/keyboard.c	prev_scancode = scancode;
prev_scancode	415	drivers/char/keyboard.c	if (prev_scancode) {
prev_scancode	420	drivers/char/keyboard.c	if (prev_scancode != 0xe0) {
prev_scancode	421	drivers/char/keyboard.c	if (prev_scancode == 0xe1 && scancode == 0x1d) {
prev_scancode	422	drivers/char/keyboard.c	prev_scancode = 0x100;
prev_scancode	424	drivers/char/keyboard.c	} else if (prev_scancode == 0x100 && scancode == 0x45) {
prev_scancode	426	drivers/char/keyboard.c	prev_scancode = 0;
prev_scancode	432	drivers/char/keyboard.c	prev_scancode = 0;
prev_scancode	436	drivers/char/keyboard.c	prev_scancode = 0;