SCHED_ENQUEUE_INTERNAL(proc); \
} while (0)
-#ifdef CONFIG_KERN_PRI
+#if CONFIG_KERN_PRI
/**
* Changes the priority of an already enqueued process.
*
*
* \note Performance could be improved with a different implementation of priority list.
*/
-INLINE void SCHED_CHANGE_PRI(struct Process *proc)
+INLINE void sched_reenqueue(struct Process *proc)
{
IRQ_ASSERT_DISABLED();
LIST_ASSERT_VALID(&ProcReadyList);