Searched refs:fTimerFrequencyMHz (Results 1 – 2 of 2) sorted by relevance
38 uint32_t timeout_ticks = timeout * fTimerFrequencyMHz; in SetTimeout()61 return get_counter() / fTimerFrequencyMHz; in Time()88 fTimerFrequencyMHz = fTimerFrequency / 1000000; in ARMGenericTimer()
33 uint32_t fTimerFrequencyMHz; variable