update_leds       212 dev/wscons/wskbd.c void	update_leds(struct wskbd_internal *);
update_leds      1521 dev/wscons/wskbd.c 		update_leds(id);
update_leds      1619 dev/wscons/wskbd.c 		update_leds(id);
update_leds      1696 dev/wscons/wskbd.c 		update_leds(id);
update_leds      1722 dev/wscons/wskbd.c 	update_leds(id);