SWT_SUSPEND
&DPCPU_NAME(sched_switch_stats[SWT_SUSPEND]), "");
mi_switch(SW_INVOL | SWT_SUSPEND);
mi_switch(SW_VOL | SWT_SUSPEND);