src/C/syscalls/syscalls-utils.h
static inline void syscall_r0_update(task_t * t, e_task_mode mode, e_syscall_ret val)
{
    /* This task (or any of its handlers) should not be executed while 
     ** updating the return value. It is, as softirq_syscall_handler deactivate
     ** irq by now. */
    t->ctx[mode].frame->r0 = val;
}
/*
** Update the user r0 register for syscall return value
*/
Update the user r0 register for syscall return value
Update the user r0 register for syscall return value
static inline void syscall_r0_update(task_t * t, e_task_mode mode, e_syscall_ret val)
{
    t->ctx[mode].frame->r0 = val;
}
static inline void syscall_r0_update ( task_t * t , e_task_mode mode , e_syscall_ret val ) { t -> ctx [ mode ] . frame -> r0 = val ; }
Update the user r0 register for syscall return value
Update the user r0 register for syscall return value
/* This task (or any of its handlers) should not be executed while 
     ** updating the return value. It is, as softirq_syscall_handler deactivate
     ** irq by now. */