void EXTI2_IRQHandler(void) { TRACE_IRQ_ENTER(EXTI2_IRQn); OS_DBG_dump_irq(IODBG); SYS_dump_trace(IODBG); TRACE_IRQ_EXIT(EXTI2_IRQn); }
static int f_dump_trace() { #ifdef DBG_TRACE_MON SYS_dump_trace(get_print_output()); #else print("trace not enabled\n"); #endif return 0; }
static int cli_dump_trace(u32_t argc) { #ifdef DBG_TRACE_MON SYS_dump_trace(IOSTD); #else print("trace not enabled\n"); #endif return 0; }