Searched refs:ulHighFrequencyTimerTicks (Results 1 – 1 of 1) sorted by relevance
67 volatile uint32_t ulHighFrequencyTimerTicks; variable461 ulHighFrequencyTimerTicks++; in vPortTickISR()462 if (!(ulHighFrequencyTimerTicks % 10)) in vPortTickISR()533 ulHighFrequencyTimerTicks = 0; in xCONFIGURE_TIMER_FOR_RUN_TIME_STATS()542 return ulHighFrequencyTimerTicks; in xGET_RUN_TIME_COUNTER_VALUE()