Symbol: softint_picklwp
sys/kern/kern_synch.c
655
newl = softint_picklwp();
sys/sys/intr.h
52
lwp_t *softint_picklwp(void);