monitor.h

Go to the documentation of this file.
00001 
00040 #ifndef KERN_MONITOR_H
00041 #define KERN_MONITOR_H
00042 
00043 #include "cfg/cfg_kern.h"
00044 
00045 #include <cpu/types.h>
00046 
00047 #if CONFIG_KERN_MONITOR
00048 
00059 void monitor_start(size_t stacksize, cpu_stack_t *stack);
00060 
00061 
00070 size_t monitor_checkStack(cpu_stack_t *stack_base, size_t stack_size);
00071 
00072 
00074 void monitor_report(void);
00075 
00076 
00077 #endif /* CONFIG_KERN_MONITOR */
00078 #endif /* KERN_MONITOR_H */