ukbd_set_leds
Static void ukbd_set_leds(void *, int);
ukbd_set_leds,
ukbd_set_leds(sc, WSKBD_LED_SCROLL | WSKBD_LED_NUM | WSKBD_LED_CAPS
ukbd_set_leds(sc, 0);
ukbd_set_leds(v, *(int *)data);