tag	line	file	source code
default_ledflagstate	1301	drivers/char/console.c	kbd_table[currcons].ledflagstate = kbd_table[currcons].default_ledflagstate;
default_ledflagstate	44	drivers/char/kbd_kern.h	unsigned char default_ledflagstate:3;
default_ledflagstate	1194	drivers/char/keyboard.c	kbd0.ledflagstate = kbd0.default_ledflagstate = KBD_DEFLEDS;
default_ledflagstate	627	drivers/char/vt.c	(kbd->default_ledflagstate << 4), (char *) arg);
default_ledflagstate	636	drivers/char/vt.c	kbd->default_ledflagstate = ((arg >> 4) & 7);