taglinefilesource code
getledstate67drivers/char/kbd_kern.hextern unsigned char getledstate(void);
getledstate646drivers/char/vt.cput_user(getledstate(), (char *) arg);