X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;ds=sidebyside;f=bertos%2Fkern%2Fmonitor.h;h=fd458669f86a72ce4c26a867cc9b6fc0325528de;hb=e62ca0b357f09804d7d894949df44224c9d74bb7;hp=95bbb6db9a752f18a7b11df8ad5f98b9a3a0f925;hpb=791e167e053bdd9250d34a9a5ccae6ccde4d6679;p=bertos.git

diff --git a/bertos/kern/monitor.h b/bertos/kern/monitor.h
index 95bbb6db..fd458669 100644
--- a/bertos/kern/monitor.h
+++ b/bertos/kern/monitor.h
@@ -40,8 +40,9 @@
 #ifndef KERN_MONITOR_H
 #define KERN_MONITOR_H
 
+#include "cfg/cfg_kern.h"
+
 #include <cpu/types.h>
-#include <config_kern.h>
 
 #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.
  */
-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.
  */
-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 */