Symbol: softint_schedule
sys/kern/kern_softint.c
482
softint_schedule(void *arg)
sys/rump/librump/rumpkern/intr.c
376
softint_schedule(void *arg)