Symbol: ukbd_db_enter
sys/dev/usb/ukbd.c
154
void ukbd_db_enter(void *);
sys/dev/usb/ukbd.c
340
timeout_set(&sc->sc_ddb, ukbd_db_enter, sc);