SWT_IDLE
&DPCPU_NAME(sched_switch_stats[SWT_IDLE]), "");
flags |= SWT_IDLE;
mi_switch(SW_VOL | SWT_IDLE);
mi_switch(SW_VOL | SWT_IDLE);
mi_switch(SW_VOL | SWT_IDLE);
mi_switch(SW_VOL | SWT_IDLE);