tag	line	file	source code
lockstate	1287	drivers/char/console.c	kbd_table[currcons].lockstate = 0;
lockstate	25	drivers/char/kbd_kern.h	unsigned char lockstate;
lockstate	101	drivers/char/kbd_kern.h	kbd->lockstate ^= 1 << flag;
lockstate	520	drivers/char/keyboard.c	int shift_final = shift_state ^ kbd->lockstate;
lockstate	1184	drivers/char/keyboard.c	kbd0.lockstate = KBD_DEFLOCK;