taglinefilesource code
default_ledflagstate1289drivers/char/console.ckbd_table[currcons].ledflagstate = kbd_table[currcons].default_ledflagstate;
default_ledflagstate43drivers/char/kbd_kern.hunsigned char default_ledflagstate:3;
default_ledflagstate1182drivers/char/keyboard.ckbd0.ledflagstate = kbd0.default_ledflagstate = KBD_DEFLEDS;
default_ledflagstate541drivers/char/vt.c(kbd->default_ledflagstate << 4), (char *) arg);
default_ledflagstate548drivers/char/vt.ckbd->default_ledflagstate = ((arg >> 4) & 7);