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