BeRTOS
monitor.h
Go to the documentation of this file.
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 */