sigmask_t sig_recv; /**< Received signals */
#endif
-#if CONFIG_KERN_PREEMPTIVE
- int forbid_cnt; /**< Nesting count for proc_forbid()/proc_permit(). */
- bool leaving; /**< XXX: maybe global? */
- ucontext_t context;
-#endif
-
#if CONFIG_KERN_HEAP
uint16_t flags; /**< Flags */
#endif
size_t stack_size; /**< Size of process stack */
#endif
+#if CONFIG_KERN_PREEMPTIVE
+ ucontext_t context;
+#endif
+
#if CONFIG_KERN_MONITOR
struct ProcMonitor
{
* \note This macro is *NOT* protected against the scheduler. Access to
* this list must be performed with interrupts disabled.
*/
-#define SCHED_ENQUEUE(proc) ADDTAIL(&ProcReadyList, &(proc)->link)
+#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_PREEMPT
+void proc_entry(void (*user_entry)(void));
+void preempt_init(void);
+#endif
+
#if CONFIG_KERN_MONITOR
/** Initialize the monitor */
void monitor_init(void);