tag	line	file	source code
ledioctl	1063	drivers/char/keyboard.c	static unsigned char ledioctl;
ledioctl	1071	drivers/char/keyboard.c	ledioctl = led;
ledioctl	1101	drivers/char/keyboard.c	return ledioctl;