tag	line	file	source code
shift_final	529	drivers/char/keyboard.c	int shift_final = shift_state ^ kbd->lockstate;
shift_final	530	drivers/char/keyboard.c	ushort *key_map = key_maps[shift_final];
shift_final	541	drivers/char/keyboard.c	key_map = key_maps[shift_final ^ (1<<KG_SHIFT)];