Searched refs:PL1_SetCounterFrequency (Results 1 – 2 of 2) sorted by relevance
66 PL1_SetCounterFrequency(GTIM_Clock); in OS_Tick_Setup()
1552 __STATIC_INLINE void PL1_SetCounterFrequency(uint32_t value) in PL1_SetCounterFrequency() function