Symbol: ithread_fast_sched
sys/kern/kern_intr.c
741
ithread_fast_sched(intr, td);
sys/kern/kern_intr.c
808
ithread_fast_sched(intr, td);