src/C/syscalls/syscalls-utils.h
static inline void syscall_set_target_task_runnable (task_t *target)
{
    if (target->state[TASK_MODE_MAINTHREAD] == TASK_STATE_SVC_BLOCKED ||
        target->state[TASK_MODE_MAINTHREAD] == TASK_STATE_IDLE) {
        target->state[TASK_MODE_MAINTHREAD] = TASK_STATE_RUNNABLE;
    }
}
/*
 * This function update the target task's state.
 *
 * CAUTION !
 * - Target task might currently be in ISR mode (state ==
 *   TASK_STATE_RUNNABLE or state == TASK_STATE_ISR_DONE). In theory, it's state should
 *   not be updated. But as it will be automatically set as runnable by the
 *   scheduler when returning in THREAD mode, it causes no problem.
 */
This function update the target task's state.
CAUTION .
- Target task might currently be in ISR mode (state
TASK_STATE_RUNNABLE or state == TASK_STATE_ISR_DONE). In theory, it's state should
not be updated. But as it will be automatically set as runnable by the
scheduler when returning in THREAD mode, it causes no problem.
This function update the target task ' s state . CAUTION . - Target task might currently be in ISR mode ( state TASK_STATE_RUNNABLE or state == TASK_STATE_ISR_DONE ) . In theory it ' s state should not be updated . But as it will be automatically set as runnable by the scheduler when returning in THREAD mode it causes no problem .
static inline void syscall_set_target_task_runnable (task_t *target)
{
    if (target->state[TASK_MODE_MAINTHREAD] == TASK_STATE_SVC_BLOCKED ||
        target->state[TASK_MODE_MAINTHREAD] == TASK_STATE_IDLE) {
        target->state[TASK_MODE_MAINTHREAD] = TASK_STATE_RUNNABLE;
    }
}
static inline void syscall_set_target_task_runnable ( task_t * target ) { if ( target -> state [ TASK_MODE_MAINTHREAD ] == TASK_STATE_SVC_BLOCKED || target -> state [ TASK_MODE_MAINTHREAD ] == TASK_STATE_IDLE ) { target -> state [ TASK_MODE_MAINTHREAD ] = TASK_STATE_RUNNABLE ; } }
This function update the target task's state.
This function update the target task ' s state .