Searched refs:tsc_scaling_ratio (Results 1 – 7 of 7) sorted by relevance
45 *val = vcpu->arch.tsc_scaling_ratio; in vcpu_get_tsc_scaling_ratio()
2595 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in kvm_vcpu_write_tsc_multiplier()2599 vcpu->arch.tsc_scaling_ratio = l1_multiplier; in kvm_vcpu_write_tsc_multiplier()2603 vcpu, vcpu->arch.tsc_scaling_ratio); in kvm_vcpu_write_tsc_multiplier()4043 ratio = vcpu->arch.tsc_scaling_ratio; in kvm_get_msr_common()
1762 if (vcpu->arch.tsc_scaling_ratio == kvm_caps.default_tsc_scaling_ratio) { in __wait_lapic_expire()
1047 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_svm_vmexit()1048 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in nested_svm_vmexit()1478 vcpu->arch.tsc_scaling_ratio = in nested_svm_update_tsc_ratio_msr()1481 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in nested_svm_update_tsc_ratio_msr()
1484 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_prepare_switch_to_guest()
2578 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in prepare_vmcs02()2584 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()4754 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_vmx_vmexit()4815 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
876 u64 tsc_scaling_ratio; /* current scaling ratio */ member
Completed in 55 milliseconds