projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Modify the module selection page
[bertos.git]
/
bertos
/
kern
/
monitor.h
diff --git
a/bertos/kern/monitor.h
b/bertos/kern/monitor.h
index 95bbb6db9a752f18a7b11df8ad5f98b9a3a0f925..fd458669f86a72ce4c26a867cc9b6fc0325528de 100644
(file)
--- a/
bertos/kern/monitor.h
+++ b/
bertos/kern/monitor.h
@@
-40,8
+40,9
@@
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
+#include "cfg/cfg_kern.h"
+
#include <cpu/types.h>
#include <cpu/types.h>
-#include <config_kern.h>
#if CONFIG_KERN_MONITOR
#if CONFIG_KERN_MONITOR
@@
-55,7
+56,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
+67,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 */