tag	line	file	source code
lockstate	1338	drivers/char/console.c	kbd_table[currcons].lockstate = 0;
lockstate	23	drivers/char/kbd_kern.h	unsigned char lockstate;
lockstate	107	drivers/char/kbd_kern.h	kbd->lockstate ^= 1 << flag;
lockstate	522	drivers/char/keyboard.c	int shift_final = shift_state ^ kbd->lockstate;
lockstate	1197	drivers/char/keyboard.c	kbd0.lockstate = KBD_DEFLOCK;