Symbol: softint_thread
sys/kern/kern_softint.c
724
softint_thread(void *cookie)
sys/kern/kern_softint.c
791
softint_thread(void *cookie)