tag	line	file	source code
ledioctl	1064	drivers/char/keyboard.c	static unsigned char ledioctl;
ledioctl	1072	drivers/char/keyboard.c	ledioctl = led;
ledioctl	1102	drivers/char/keyboard.c	return ledioctl;