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