monitor.h

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