SWT_COUNT
DPCPU_DEFINE(long, sched_switch_stats[SWT_COUNT]);
KASSERT((flags & SW_TYPE_MASK) < SWT_COUNT,
DPCPU_DECLARE(long, sched_switch_stats[SWT_COUNT]);