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