Searched refs:OS_Tick_GetInterval (Results 1 – 4 of 4) sorted by relevance
61 uint32_t OS_Tick_GetInterval (void);
150 uint32_t OS_Tick_GetInterval (void) { in OS_Tick_GetInterval() function
117 __WEAK uint32_t OS_Tick_GetInterval (void) { in OS_Tick_GetInterval() function
173 uint32_t OS_Tick_GetInterval (void) { in OS_Tick_GetInterval() function