virtual_tsc_khz   688 arch/x86/include/asm/kvm_host.h 	u32 virtual_tsc_khz;
virtual_tsc_khz  1285 arch/x86/kvm/hyperv.c 		data = (u64)vcpu->arch.virtual_tsc_khz * 1000;
virtual_tsc_khz  1473 arch/x86/kvm/lapic.c 		do_div(delay_ns, vcpu->arch.virtual_tsc_khz);
virtual_tsc_khz  1493 arch/x86/kvm/lapic.c 		do_div(ns, vcpu->arch.virtual_tsc_khz);
virtual_tsc_khz  1498 arch/x86/kvm/lapic.c 		do_div(ns, vcpu->arch.virtual_tsc_khz);
virtual_tsc_khz  1576 arch/x86/kvm/lapic.c 	unsigned long this_tsc_khz = vcpu->arch.virtual_tsc_khz;
virtual_tsc_khz  1951 arch/x86/kvm/vmx/nested.c 	if (vcpu->arch.virtual_tsc_khz == 0)
virtual_tsc_khz  1956 arch/x86/kvm/vmx/nested.c 	do_div(preemption_timeout, vcpu->arch.virtual_tsc_khz);
virtual_tsc_khz  3530 arch/x86/kvm/vmx/nested.c 	value = ktime_to_ns(remaining) * vcpu->arch.virtual_tsc_khz;
virtual_tsc_khz  1812 arch/x86/kvm/x86.c 	vcpu->arch.virtual_tsc_khz = user_tsc_khz;
virtual_tsc_khz  1954 arch/x86/kvm/x86.c 	if (vcpu->arch.virtual_tsc_khz) {
virtual_tsc_khz  1965 arch/x86/kvm/x86.c 			u64 tsc_hz = vcpu->arch.virtual_tsc_khz * 1000LL;
virtual_tsc_khz  1983 arch/x86/kvm/x86.c 	    vcpu->arch.virtual_tsc_khz == kvm->arch.last_tsc_khz) {
virtual_tsc_khz  2016 arch/x86/kvm/x86.c 	kvm->arch.last_tsc_khz = vcpu->arch.virtual_tsc_khz;
virtual_tsc_khz  4448 arch/x86/kvm/x86.c 		r = vcpu->arch.virtual_tsc_khz;