Make nightly build test works.

[bertos.git] / bertos / kern / monitor.h

diff --git a/bertos/kern/monitor.h b/bertos/kern/monitor.h
index 9e569a1de57382db721f7d5ce4b5101b0fd95c29..e2a4742ab4e030721ec9df585062117a7d08cf8b 100644 (file)
--- a/bertos/kern/monitor.h
+++ b/bertos/kern/monitor.h
@@ -35,17 +35,19 @@
  * \version $Id$
  *
  * \author Giovanni Bajo <rasky@develer.com>
+ *
+ * $WIZ$ module_name = "monitor"
+ * $WIZ$ module_depends = "kernel"
+ * $WIZ$ module_configuration = "bertos/cfg/cfg_monitor.h"
  */
 
 #ifndef KERN_MONITOR_H
 #define KERN_MONITOR_H
 
-#include <cfg/cfg_kern.h>
+#include "cfg/cfg_monitor.h"
 
 #include <cpu/types.h>
 
-#if CONFIG_KERN_MONITOR
-
 /**
  * Start the kernel monitor. It is a special process which checks every second the stacks of the
  * running processes trying to detect stack overflows.
@@ -56,7 +58,7 @@
  * \note The stack is provided by the caller so that there is no wasted space if the monitor
  * is not used.
  */
-void monitor_start(size_t stacksize, cpustack_t *stack);
+void monitor_start(size_t stacksize, cpu_stack_t *stack);
 
 
 /**
@@ -67,12 +69,10 @@ void monitor_start(size_t stacksize, cpustack_t *stack);
  * \note For this function to work, the stack must have been filled at startup with
  * CONFIG_KERN_STACKFILLCODE.
  */
-size_t monitor_checkStack(cpustack_t *stack_base, size_t stack_size);
+size_t monitor_checkStack(cpu_stack_t *stack_base, size_t stack_size);
 
 
 /** Print a report of the stack status through kdebug */
 void monitor_report(void);
 
-
-#endif /* CONFIG_KERN_MONITOR */
 #endif /* KERN_MONITOR_H */