Searched refs:busFreq (Results 1 – 2 of 2) sorted by relevance
73 uint64_t busFreq = 0; variable151 busFreq = (uint64_t)cpuid_vmm_info()->cpuid_vmm_bus_frequency * kilo; in tsc_init()152 busFCvtt2n = ((1 * Giga) << 32) / busFreq; in tsc_init()159 tscGranularity = tscFreq / busFreq; in tsc_init()207 busFreq = tscFreq; /* bus is APIC frequency */ in tsc_init()235 busFreq = EFI_get_frequency("FSBFrequency"); in tsc_init()239 if (busFreq == 0) { in tsc_init()240 busFreq = BASE_NHM_CLOCK_SOURCE; in tsc_init()252 busFreq = EFI_get_frequency("FSBFrequency"); in tsc_init()256 if (busFreq != 0) { in tsc_init()[all …]
57 extern uint64_t busFreq;71 uint64_t busFreq; member