taglinefilesource code
KBD_DEFLEDS47drivers/char/keyboard.c#ifndef KBD_DEFLEDS
KBD_DEFLEDS1171drivers/char/keyboard.ckbd0.ledflagstate = kbd0.default_ledflagstate = KBD_DEFLEDS;