00001
00043 #ifndef KERN_MONITOR_H
00044 #define KERN_MONITOR_H
00045 
00046 #include "cfg/cfg_monitor.h"
00047
00048 #include <cpu/types.h>
00049
00060 void monitor_start(size_t stacksize, cpu_stack_t *stack);
00061
00062
00071 size_t monitor_checkStack(cpu_stack_t *stack_base, size_t stack_size);
00072
00073
00075 void monitor_report(void);
00076
00077 #endif /* KERN_MONITOR_H */