BeRTOS
|
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 */