tag	line	file	source code
old_state	601	drivers/char/keyboard.c	int old_state = shift_state;
old_state	624	drivers/char/keyboard.c	if (up_flag && shift_state != old_state && npadch != 0) {