Symbol: __cfe_getticks
sys/dev/cfe/cfe_api.h
141
int64_t __cfe_getticks(void);
sys/dev/cfe/cfe_api.h
142
#define cfe_getticks() __cfe_getticks()