123456789101112 |
- #ifndef _RTOS_DBG_H_
- #define _RTOS_DBG_H_
- #include <stdint.h>
- #define rtos_dbg_here() do{rtos_dbg_task_print(__FILE__,__LINE__);} while(0)
- #define rtos_dbg_stack_here() do{rtos_dbg_stack_print(__FILE__,__LINE__);} while(0)
- void rtos_dbg_task_print (const char *file, uint32_t line);
- void rtos_dbg_stack_print (const char *file, uint32_t line);
- #endif
|