Symbol: psp_sev_intr
sys/dev/ic/pspvar.h
302
int psp_sev_intr(void *);
sys/dev/pci/psp_pci.c
89
psp_sev_intr, sc, sc->sc_dev.dv_xname);