Searched refs:tsc_scaling_ratio_frac_bits (Results 1 – 5 of 5) sorted by relevance
53 *val = kvm_caps.tsc_scaling_ratio_frac_bits; in vcpu_get_tsc_scaling_frac_bits()
19 u8 tsc_scaling_ratio_frac_bits; member
2410 ratio = mul_u64_u32_div(1ULL << kvm_caps.tsc_scaling_ratio_frac_bits, in set_tsc_khz()2516 return mul_u64_u64_shr(tsc, ratio, kvm_caps.tsc_scaling_ratio_frac_bits); in __scale_tsc()2553 kvm_caps.tsc_scaling_ratio_frac_bits); in kvm_calc_nested_tsc_offset()2564 kvm_caps.tsc_scaling_ratio_frac_bits); in kvm_calc_nested_tsc_multiplier()9814 kvm_caps.default_tsc_scaling_ratio = 1ULL << kvm_caps.tsc_scaling_ratio_frac_bits; in kvm_x86_vendor_init()
8147 kvm_caps.tsc_scaling_ratio_frac_bits, in vmx_set_hv_timer()8498 kvm_caps.tsc_scaling_ratio_frac_bits = 48; in vmx_hardware_setup()
5353 kvm_caps.tsc_scaling_ratio_frac_bits = 32; in svm_hardware_setup()