projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clean up.
[bertos.git]
/
bertos
/
kern
/
monitor.h
diff --git
a/bertos/kern/monitor.h
b/bertos/kern/monitor.h
index 95bbb6db9a752f18a7b11df8ad5f98b9a3a0f925..ec297b783f47be3864f1593bbaeb8cbde65363f2 100644
(file)
--- a/
bertos/kern/monitor.h
+++ b/
bertos/kern/monitor.h
@@
-35,13
+35,18
@@
* \version $Id$
*
* \author Giovanni Bajo <rasky@develer.com>
* \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
*/
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
+#include "cfg/cfg_monitor.h"
+
#include <cpu/types.h>
#include <cpu/types.h>
-#include <config_kern.h>
#if CONFIG_KERN_MONITOR
#if CONFIG_KERN_MONITOR
@@
-55,7
+60,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,7
+71,7
@@
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 */
/** Print a report of the stack status through kdebug */