tag	line	file	source code
getledstate	67	drivers/char/kbd_kern.h	extern unsigned char getledstate(void);
getledstate	665	drivers/char/vt.c	put_user(getledstate(), (char *) arg);