/* We are inside a IRQ context, so ATOMIC is not needed here */
if (current_process != idle_proc)
SCHED_ENQUEUE(current_process);
/* We are inside a IRQ context, so ATOMIC is not needed here */
if (current_process != idle_proc)
SCHED_ENQUEUE(current_process);