void rt_switch_req (P_TCB p_new) { /* Switch to next task (identified by "p_new"). */ os_tsk.new_tsk = p_new; p_new->state = RUNNING; if (osEventObs && osEventObs->thread_switch) { osEventObs->thread_switch(p_new->context); } DBG_TASK_SWITCH(p_new->task_id); }
void rt_switch_req (P_TCB p_new) { /* Switch to next task (identified by "p_new"). */ os_tsk.new_tsk = p_new; p_new->state = RUNNING; DBG_TASK_SWITCH(p_new->task_id); }