Symbol: softint_execute
sys/kern/kern_softint.c
737
softint_execute(l, s);
sys/kern/kern_softint.c
848
softint_execute(l, s);