tag	line	file	source code
VC_NUMLOCK	41	drivers/char/keyboard.c	#define KBD_NUML (1 << VC_NUMLOCK)
VC_NUMLOCK	445	drivers/char/keyboard.c	chg_vc_kbd_flag(kbd,VC_NUMLOCK);
VC_NUMLOCK	600	drivers/char/keyboard.c	if (!vc_kbd_flag(kbd,VC_NUMLOCK))
VC_NUMLOCK	383	drivers/char/vt.c	if (vc_kbd_flag(kbd, VC_NUMLOCK))
VC_NUMLOCK	398	drivers/char/vt.c	set_vc_kbd_flag(kbd, VC_NUMLOCK);
VC_NUMLOCK	400	drivers/char/vt.c	clr_vc_kbd_flag(kbd, VC_NUMLOCK);