Symbol: SWT_NEEDRESCHED
sys/kern/kern_switch.c
99
&DPCPU_NAME(sched_switch_stats[SWT_NEEDRESCHED]), "");
sys/kern/kern_synch.c
523
(flags & SW_TYPE_MASK) == SWT_NEEDRESCHED)))
sys/kern/kern_synch.c
608
mi_switch(SW_INVOL | SWT_NEEDRESCHED);