tag	line	file	source code
ledioctl	1084	drivers/char/keyboard.c	static unsigned char ledioctl;
ledioctl	1092	drivers/char/keyboard.c	ledioctl = led;
ledioctl	1122	drivers/char/keyboard.c	return ledioctl;