tag	line	file	source code
kbd0	1191	drivers/char/keyboard.c	struct kbd_struct kbd0;
kbd0	1194	drivers/char/keyboard.c	kbd0.ledflagstate = kbd0.default_ledflagstate = KBD_DEFLEDS;
kbd0	1195	drivers/char/keyboard.c	kbd0.ledmode = LED_SHOW_FLAGS;
kbd0	1196	drivers/char/keyboard.c	kbd0.lockstate = KBD_DEFLOCK;
kbd0	1197	drivers/char/keyboard.c	kbd0.slockstate = 0;
kbd0	1198	drivers/char/keyboard.c	kbd0.modeflags = KBD_DEFMODE;
kbd0	1199	drivers/char/keyboard.c	kbd0.kbdmode = VC_XLATE;
kbd0	1202	drivers/char/keyboard.c	kbd_table[i] = kbd0;