Searched refs:kvm_default_tsc_scaling_ratio (Results 1 – 3 of 3) sorted by relevance
131 u64 __read_mostly kvm_default_tsc_scaling_ratio; variable132 EXPORT_SYMBOL_GPL(kvm_default_tsc_scaling_ratio);1428 vcpu->arch.tsc_scaling_ratio = kvm_default_tsc_scaling_ratio; in set_tsc_khz()1466 vcpu->arch.tsc_scaling_ratio = kvm_default_tsc_scaling_ratio; in kvm_set_tsc_khz()1559 if (ratio != kvm_default_tsc_scaling_ratio) in kvm_scale_tsc()1719 if (vcpu->arch.tsc_scaling_ratio != kvm_default_tsc_scaling_ratio) in adjust_tsc_offset_host()8722 kvm_default_tsc_scaling_ratio = 1ULL << kvm_tsc_scaling_ratio_frac_bits; in kvm_arch_hardware_setup()
13525 if (vcpu->arch.tsc_scaling_ratio != kvm_default_tsc_scaling_ratio && in vmx_set_hv_timer()
1231 extern u64 kvm_default_tsc_scaling_ratio;
