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