atkbdintr
error = bus_setup_intr(dev, sc->intr, INTR_TYPE_TTY, NULL, atkbdintr,
static void atkbdintr(void *arg);