Symbol: SW_TYPE_MASK
sys/kern/kern_synch.c
484
KASSERT((flags & SW_TYPE_MASK) != 0,
sys/kern/kern_synch.c
486
KASSERT((flags & SW_TYPE_MASK) < SWT_COUNT,
sys/kern/kern_synch.c
487
("mi_switch: invalid switch reason %d", (flags & SW_TYPE_MASK)));
sys/kern/kern_synch.c
504
SCHED_STAT_INC(sched_switch_stats[flags & SW_TYPE_MASK]);
sys/kern/kern_synch.c
523
(flags & SW_TYPE_MASK) == SWT_NEEDRESCHED)))