TASK_RUNNING
__set_current_state(TASK_RUNNING);
KASSERT(state != TASK_RUNNING);
KASSERT(state == TASK_RUNNING);
__set_current_state(TASK_RUNNING);
__set_current_state(TASK_RUNNING);
__set_current_state(TASK_RUNNING);
__set_current_state(TASK_RUNNING);
__set_current_state(TASK_RUNNING);
__set_current_state(TASK_RUNNING); \
__set_current_state(TASK_RUNNING);