tag	line	file	source code
KBD_NUML	41	drivers/char/keyboard.c	#define KBD_NUML (1 << VC_NUMLOCK)
KBD_NUML	43	drivers/char/keyboard.c	#define KBD_NUML 0