tag	line	file	source code
old_state	941	drivers/char/keyboard.c	int old_state = shift_state;
old_state	968	drivers/char/keyboard.c	if (up_flag && shift_state != old_state && npadch != -1) {