kvm_calc_nested_tsc_multiplier
u64 kvm_calc_nested_tsc_multiplier(u64 l1_multiplier, u64 l2_multiplier);
kvm_calc_nested_tsc_multiplier(vcpu->arch.l1_tsc_scaling_ratio,
vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier(
EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_calc_nested_tsc_multiplier);
vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier(