Searched refs:refFreq (Results 1 – 1 of 1) sorted by relevance
184 uint64_t refFreq; in tsc_init() local186 refFreq = EFI_get_frequency("ARTFrequency"); in tsc_init()187 if (refFreq == 0) { in tsc_init()199 refFreq = BASE_ART_CLOCK_SOURCE_SP; in tsc_init()201 refFreq = BASE_ART_CLOCK_SOURCE; in tsc_init()207 tscFreq = refFreq * N / M; in tsc_init()211 (uint32_t)(refFreq / Mega), in tsc_init()212 (uint32_t)(refFreq % Mega), in tsc_init()