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