tag	line	file	source code
ledioctl	1053	drivers/char/keyboard.c	static unsigned char ledioctl;
ledioctl	1061	drivers/char/keyboard.c	ledioctl = led;
ledioctl	1091	drivers/char/keyboard.c	return ledioctl;