Searched defs:tsc_hz (Results 1 – 3 of 3) sorted by relevance
60 uint64_t tsc_hz = guest_tsc_khz * 1000; in apic_guest_code() local
370 unsigned long long tsc_hz; variable
2715 u64 tsc_hz = vcpu->arch.virtual_tsc_khz * 1000LL; in kvm_synchronize_tsc() local