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