tag	line	file	source code
VC_NUMLOCK	37	drivers/char/keyboard.c	#define KBD_DEFLEDS (1 << VC_NUMLOCK)
VC_NUMLOCK	449	drivers/char/keyboard.c	chg_vc_kbd_led(kbd,VC_NUMLOCK);
VC_NUMLOCK	601	drivers/char/keyboard.c	if (!vc_kbd_led(kbd,VC_NUMLOCK))