Searched refs:refFreq (Results 1 – 1 of 1) sorted by relevance
183 uint64_t refFreq; in tsc_init() local185 refFreq = EFI_get_frequency("ARTFrequency"); in tsc_init()186 if (refFreq == 0) { in tsc_init()198 refFreq = BASE_ART_CLOCK_SOURCE_SP; in tsc_init()200 refFreq = BASE_ART_CLOCK_SOURCE; in tsc_init()206 tscFreq = refFreq * N / M; in tsc_init()210 (uint32_t)(refFreq / Mega), in tsc_init()211 (uint32_t)(refFreq % Mega), in tsc_init()