Symbol: kdi_av_set_softint_pending
usr/src/uts/common/io/avintr.c
134
kdi_av_set_softint_pending(pri, infop);
usr/src/uts/i86pc/os/mp_machdep.c
1460
kdisetsoftint = kdi_av_set_softint_pending;
usr/src/uts/i86pc/sys/smp_impldefs.h
100
extern void kdi_av_set_softint_pending(); /* kmdb private entry point */