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