tag	line	file	source code
KBD_DEFLEDS	49	drivers/char/keyboard.c	#ifndef KBD_DEFLEDS
KBD_DEFLEDS	1185	drivers/char/keyboard.c	kbd0.ledflagstate = kbd0.default_ledflagstate = KBD_DEFLEDS;