ukbd_delayed_decode  309 dev/usb/ukbd.c void	ukbd_delayed_decode(void *addr);
ukbd_delayed_decode  587 dev/usb/ukbd.c 		timeout_set(&sc->sc_delay, ukbd_delayed_decode, sc);
ukbd_delayed_decode  599 dev/usb/ukbd.c 		timeout_set(&sc->sc_delay, ukbd_delayed_decode, sc);