tag	line	file	source code
vc_kbd_led	541	drivers/char/keyboard.c	if (vc_kbd_led(kbd, VC_CAPSLOCK)) {
vc_kbd_led	871	drivers/char/keyboard.c	if (!vc_kbd_led(kbd,VC_NUMLOCK))