tag	line	file	source code
KBD_DEFLEDS	41	drivers/char/keyboard.c	#ifndef KBD_DEFLEDS
KBD_DEFLEDS	888	drivers/char/keyboard.c	kbd->ledstate = KBD_DEFLEDS;
KBD_DEFLEDS	889	drivers/char/keyboard.c	kbd->default_ledstate = KBD_DEFLEDS;