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