taglinefilesource code
default_ledflagstate1312drivers/char/console.ckbd_table[currcons].ledflagstate = kbd_table[currcons].default_ledflagstate;
default_ledflagstate44drivers/char/kbd_kern.hunsigned char default_ledflagstate:3;
default_ledflagstate1191drivers/char/keyboard.ckbd0.ledflagstate = kbd0.default_ledflagstate = KBD_DEFLEDS;
default_ledflagstate646drivers/char/vt.c(kbd->default_ledflagstate << 4), (char *) arg);
default_ledflagstate655drivers/char/vt.ckbd->default_ledflagstate = ((arg >> 4) & 7);