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