projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add foldback for at91 i2c for nightly test.
[bertos.git]
/
bertos
/
kern
/
monitor.h
diff --git
a/bertos/kern/monitor.h
b/bertos/kern/monitor.h
index 95bbb6db9a752f18a7b11df8ad5f98b9a3a0f925..a414d87b05ef2bd36ebe520ce50510799799ada8 100644
(file)
--- a/
bertos/kern/monitor.h
+++ b/
bertos/kern/monitor.h
@@
-32,18
+32,20
@@
*
* \brief Monitor to check for stack overflows
*
*
* \brief Monitor to check for stack overflows
*
- * \version $Id$
*
* \author Giovanni Bajo <rasky@develer.com>
*
* \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
*/
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
-#include <cpu/types.h>
-#include <config_kern.h>
+#include "cfg/cfg_monitor.h"
-#i
f CONFIG_KERN_MONITOR
+#i
nclude <cpu/types.h>
/**
* Start the kernel monitor. It is a special process which checks every second the stacks of the
/**
* Start the kernel monitor. It is a special process which checks every second the stacks of the
@@
-55,7
+57,7
@@
* \note The stack is provided by the caller so that there is no wasted space if the monitor
* is not used.
*/
* \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);
/**
/**
@@
-66,12
+68,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.
*/
* \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);
/** Print a report of the stack status through kdebug */
void monitor_report(void);
-
-#endif /* CONFIG_KERN_MONITOR */
#endif /* KERN_MONITOR_H */
#endif /* KERN_MONITOR_H */