Searched refs:kvm_tsc_scaling_ratio_frac_bits (Results 1 – 5 of 5) sorted by relevance
40 *val = kvm_tsc_scaling_ratio_frac_bits; in vcpu_get_tsc_scaling_frac_bits()
127 u8 __read_mostly kvm_tsc_scaling_ratio_frac_bits; variable128 EXPORT_SYMBOL_GPL(kvm_tsc_scaling_ratio_frac_bits);1720 ratio = mul_u64_u32_div(1ULL << kvm_tsc_scaling_ratio_frac_bits, in set_tsc_khz()1826 return mul_u64_u64_shr(tsc, ratio, kvm_tsc_scaling_ratio_frac_bits); in __scale_tsc()9322 kvm_default_tsc_scaling_ratio = 1ULL << kvm_tsc_scaling_ratio_frac_bits; in kvm_arch_hardware_setup()
1328 kvm_tsc_scaling_ratio_frac_bits = 32; in svm_hardware_setup()
1310 extern u8 kvm_tsc_scaling_ratio_frac_bits;
7193 kvm_tsc_scaling_ratio_frac_bits, in vmx_set_hv_timer()7665 kvm_tsc_scaling_ratio_frac_bits = 48; in hardware_setup()