-
-/**
- * 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); \
- ADDTAIL(&ProcReadyList, &(proc)->link); \
- } while (0)
-
-/** Schedule to another process *without* adding the current to the ready list. */
-void proc_schedule(void);
+#if CONFIG_KERN_PRI
+ /**
+ * 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 another process *without* adding the current one to the ready list.
+void proc_switch(void);