#if CONFIG_KERN_MONITOR
#include "proc_p.h"
+#include <cfg/macros.h>
+#include <cfg/debug.h>
+
#include <struct/list.h>
+
#include <drv/timer.h>
+
#include <kern/proc.h>
-#include <cpu/frame.h> /* CPU_STACK_GROWS_UPWARD */
-#include <cfg/macros.h>
-#include <cfg/debug.h>
+#include <cpu/frame.h> /* CPU_STACK_GROWS_UPWARD */
/* Access to this list must be protected against the scheduler */
static List MonitorProcs;
-
void monitor_init(void)
{
LIST_INIT(&MonitorProcs);
*/
#include "sem.h"
+#include <cfg/debug.h>
+
#include <cpu/irq.h> // ASSERT_IRQ_DISABLED()
+
#include <kern/proc.h>
#include <kern/proc_p.h>
#include <kern/signal.h>
-#include <cfg/debug.h>
INLINE void sem_verify(struct Semaphore *s)
{
ASSERT(s->nest_count < 128); // heuristic max
}
-
/**
* \brief Initialize a Semaphore structure.
*/