31 #ifndef CODEBASE_PERIPHERAL_MODULES_PROFILER_TIMER_H_    32 #define CODEBASE_PERIPHERAL_MODULES_PROFILER_TIMER_H_    39 #if SYS_CFG_PRESENT == 1    40 #include "sys_config.h"    42 #ifndef TIMER_USED_PROFILE_TIMER     43 #define TIMER_USED_PROFILE_TIMER 0    47 #define PROFILER_TIMER  CONCAT_2(NRF_TIMER,TIMER_USED_PROFILE_TIMER)    52 #define PRINT_TIME      do{ PROFILER_TIMER->TASKS_CAPTURE[3] = 1; \    53                         printfcomma(PROFILER_TIMER->CC[3]/16); \    54                         log_printf("us\n"); }while(0)    61 #define PROFILE_START   do{ PROFILER_TIMER->TASKS_CAPTURE[2] = 1; }while(0)    63 #define PROFILE_STOP    do{ PROFILER_TIMER->TASKS_CAPTURE[3] = 1; \    64                         printfcomma((PROFILER_TIMER->CC[3] - PROFILER_TIMER->CC[2])/16);      \    65                         log_printf(".%03d",(int)((((PROFILER_TIMER->CC[3] - PROFILER_TIMER->CC[2]) & 0x0F)*125)/2)); \    66                         log_printf("us\n"); }while(0) void profiler_timer_init(void)
 
void profiler_timer_deinit()
Fully stop the profiling timer to save power. profiler_timer_init needs to be called again before usi...
 
void printfcomma(uint32_t num)
 
bool profiler_timer_is_on(void)
 
uint32_t read_time_us(void)