Searched refs:tsc_hz (Results 1 – 3 of 3) sorted by relevance
60 uint64_t 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()
370 unsigned long long tsc_hz; variable6566 tsc_tweak = base_hz / tsc_hz; in probe_bclk()8440 tsc_hz = (unsigned long long)crystal_hz *ebx_tsc / eax_crystal; in process_cpuid()8443 tsc_hz / 1000000, crystal_hz, ebx_tsc, eax_crystal); in process_cpuid()8463 tsc_tweak = base_hz / tsc_hz; in process_cpuid()
2715 u64 tsc_hz = vcpu->arch.virtual_tsc_khz * 1000LL; in kvm_synchronize_tsc() local2731 synchronizing = data < tsc_exp + tsc_hz && in kvm_synchronize_tsc()2732 data + tsc_hz > tsc_exp; in kvm_synchronize_tsc()