dbg_printf         39 include/platform.h extern void dbg_printf(char *fmt,...);
dbg_printf         44 include/platform.h #define DBGPRINTF(fmt,args...) dbg_printf("%08d DBG:" fmt,get_tick_count(), ##args)