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