wskbd_repeat      292 dev/wscons/wskbd.c void wskbd_repeat(void *v);
wskbd_repeat      395 dev/wscons/wskbd.c 	timeout_set(&sc->sc_repeat_ch, wskbd_repeat, sc);