Searched refs:tsc_scaling_ratio (Results 1 – 8 of 8) sorted by relevance
45 *val = vcpu->arch.tsc_scaling_ratio; in vcpu_get_tsc_scaling_ratio()
1825 if (vcpu->arch.tsc_scaling_ratio == kvm_caps.default_tsc_scaling_ratio) { in __wait_lapic_expire()
2600 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in kvm_vcpu_write_tsc_multiplier()2604 vcpu->arch.tsc_scaling_ratio = l1_multiplier; in kvm_vcpu_write_tsc_multiplier()4244 ratio = vcpu->arch.tsc_scaling_ratio; in kvm_get_msr_common()
1105 vcpu->arch.tsc_scaling_ratio != vcpu->arch.l1_tsc_scaling_ratio) { in nested_svm_vmexit()1106 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_svm_vmexit()1540 vcpu->arch.tsc_scaling_ratio = in nested_svm_update_tsc_ratio_msr()
1175 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_write_tsc_multiplier()1531 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_prepare_switch_to_guest()
2687 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in prepare_vmcs02()2693 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()4976 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_vmx_vmexit()5037 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
1960 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in vmx_write_tsc_multiplier()
941 u64 tsc_scaling_ratio; /* current scaling ratio */ member