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()208 busFreq = tscFreq; /* bus is APIC frequency */ in tsc_init()236 busFreq = EFI_get_frequency("FSBFrequency"); in tsc_init()240 if (busFreq == 0) { in tsc_init()241 busFreq = BASE_NHM_CLOCK_SOURCE; in tsc_init()253 busFreq = EFI_get_frequency("FSBFrequency"); in tsc_init()257 if (busFreq != 0) { in tsc_init()[all …]
57 extern uint64_t busFreq;71 uint64_t busFreq; member