Symbol: av_set_softint_pending
usr/src/uts/i86pc/os/mp_machdep.c
1459
setsoftint = av_set_softint_pending;
usr/src/uts/i86pc/sys/smp_impldefs.h
99
extern void av_set_softint_pending(); /* set software interrupt pending */