- /**
- * Enqueue a task in the ready list.
- *
- * Always use this macro to instert a process in the ready list, as its
- * might vary to implement a different scheduling algorithms.
- *
- * \note This macro is *NOT* protected against the scheduler. Access to
- * this list must be performed with interrupts disabled.
- */
- #define SCHED_ENQUEUE(proc) do { \
- LIST_ASSERT_VALID(&ProcReadyList); \
- LIST_ENQUEUE(&ProcReadyList, &(proc)->link); \
- } while (0)
-
-#else // !CONFIG_KERN_PRI
-
- #define SCHED_ENQUEUE(proc) do { \
- LIST_ASSERT_VALID(&ProcReadyList); \
- ADDTAIL(&ProcReadyList, &(proc)->link); \
- } while (0)
-
-#endif // !CONFIG_KERN_PRI
-
-/** Schedule to another process *without* adding the current to the ready list. */
-void proc_schedule(void);
+ #define SCHED_ENQUEUE_INTERNAL(proc) LIST_ENQUEUE(&ProcReadyList, &(proc)->link)
+#else
+ #define SCHED_ENQUEUE_INTERNAL(proc) ADDTAIL(&ProcReadyList, &(proc)->link)
+#endif
+
+/**
+ * Enqueue a process in the ready list.
+ *
+ * Always use this macro to instert a process in the ready list, as its
+ * might vary to implement a different scheduling algorithms.
+ *
+ * \note Access to the scheduler ready list must be performed with
+ * interrupts disabled.
+ */
+#define SCHED_ENQUEUE(proc) do { \
+ IRQ_ASSERT_DISABLED(); \
+ LIST_ASSERT_VALID(&ProcReadyList); \
+ SCHED_ENQUEUE_INTERNAL(proc); \
+ } while (0)
+
+
+/// Schedule another process *without* adding the current one to the ready list.
+void proc_switch(void);