rtos_dbg.h 355 B

123456789101112
  1. #ifndef _RTOS_DBG_H_
  2. #define _RTOS_DBG_H_
  3. #include <stdint.h>
  4. #define rtos_dbg_here() do{rtos_dbg_task_print(__FILE__,__LINE__);} while(0)
  5. #define rtos_dbg_stack_here() do{rtos_dbg_stack_print(__FILE__,__LINE__);} while(0)
  6. void rtos_dbg_task_print (const char *file, uint32_t line);
  7. void rtos_dbg_stack_print (const char *file, uint32_t line);
  8. #endif