Searched refs:tsc_hz (Results 1 – 3 of 3) sorted by relevance
60 u64 tsc_hz = guest_tsc_khz * 1000; in apic_guest_code() local89 freq = (tmict - tmcct) * tdcrs[i].divide_count * tsc_hz / (tsc1 - tsc0); in apic_guest_code()94 apic_hz, tdcrs[i].divide_count, tsc_hz); in apic_guest_code()
539 unsigned long long tsc_hz; variable7075 tsc_tweak = base_hz / tsc_hz; in probe_bclk()9264 tsc_hz = (unsigned long long)crystal_hz *ebx_tsc / eax_crystal; in process_cpuid()9266 …fprintf(outf, "TSC: %lld MHz (%d Hz * %d / %d / 1000000)\n", tsc_hz / 1000000, crystal_hz, ebx_tsc… in process_cpuid()9286 tsc_tweak = base_hz / tsc_hz; in process_cpuid()
2848 u64 tsc_hz = vcpu->arch.virtual_tsc_khz * 1000LL; in kvm_synchronize_tsc() local2864 synchronizing = data < tsc_exp + tsc_hz && in kvm_synchronize_tsc()2865 data + tsc_hz > tsc_exp; in kvm_synchronize_tsc()