Symbol: kdbintr
sys/dev/bi/kdb.c
153
kdbintr, sc, &sc->sc_intrcnt);
sys/dev/bi/kdb.c
95
void kdbintr(void *);