Searched refs:virtual_tsc_khz (Results 1 – 5 of 5) sorted by relevance
1800 do_div(delay_ns, vcpu->arch.virtual_tsc_khz); in __wait_lapic_expire()1820 do_div(ns, vcpu->arch.virtual_tsc_khz); in adjust_lapic_timer_advance()1825 do_div(ns, vcpu->arch.virtual_tsc_khz); in adjust_lapic_timer_advance()1925 u32 this_tsc_khz = vcpu->arch.virtual_tsc_khz; in start_sw_tscdeadline()
2465 vcpu->arch.virtual_tsc_khz = user_tsc_khz; in kvm_set_tsc_khz()2676 kvm->arch.last_tsc_khz = vcpu->arch.virtual_tsc_khz; in __kvm_synchronize_tsc()2724 if (vcpu->arch.virtual_tsc_khz) { in kvm_synchronize_tsc()2734 u64 tsc_hz = vcpu->arch.virtual_tsc_khz * 1000LL; in kvm_synchronize_tsc()2763 vcpu->arch.virtual_tsc_khz == kvm->arch.last_tsc_khz) { in kvm_synchronize_tsc()5791 matched = (vcpu->arch.virtual_tsc_khz && in kvm_arch_tsc_set_attr()5792 kvm->arch.last_tsc_khz == vcpu->arch.virtual_tsc_khz && in kvm_arch_tsc_set_attr()6207 r = vcpu->arch.virtual_tsc_khz; in kvm_arch_vcpu_ioctl()
1740 data = (u64)vcpu->arch.virtual_tsc_khz * 1000; in kvm_hv_get_msr()
957 u32 virtual_tsc_khz; member
2244 if (vcpu->arch.virtual_tsc_khz == 0) in vmx_start_preemption_timer()2249 do_div(preemption_timeout, vcpu->arch.virtual_tsc_khz); in vmx_start_preemption_timer()4430 value = ktime_to_ns(remaining) * vcpu->arch.virtual_tsc_khz; in vmx_get_preemption_timer_value()
Completed in 1091 milliseconds