ukbd_set_leds     312 dev/usb/ukbd.c void	ukbd_set_leds(void *, int);
ukbd_set_leds     321 dev/usb/ukbd.c 	ukbd_set_leds,
ukbd_set_leds     460 dev/usb/ukbd.c 	ukbd_set_leds(sc, WSKBD_LED_SCROLL | WSKBD_LED_NUM | WSKBD_LED_CAPS);
ukbd_set_leds     462 dev/usb/ukbd.c 	ukbd_set_leds(sc, 0);
ukbd_set_leds     807 dev/usb/ukbd.c 		ukbd_set_leds(v, *(int *)data);