DBGPRINTF          44 include/platform.h #define DBGPRINTF(fmt,args...) dbg_printf("%08d DBG:" fmt,get_tick_count(), ##args)
DBGPRINTF          48 include/platform.h #define DBGPRINTF(...)