Searched refs:tsc_scaling_ratio (Results 1 – 7 of 7) sorted by relevance
43 *val = vcpu->arch.tsc_scaling_ratio; in vcpu_get_tsc_scaling_ratio()
1563 if (vcpu->arch.tsc_scaling_ratio == kvm_default_tsc_scaling_ratio) { in __wait_lapic_expire()
2454 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in kvm_vcpu_write_tsc_multiplier()2458 vcpu->arch.tsc_scaling_ratio = l1_multiplier; in kvm_vcpu_write_tsc_multiplier()2462 vcpu, vcpu->arch.tsc_scaling_ratio); in kvm_vcpu_write_tsc_multiplier()3802 ratio = vcpu->arch.tsc_scaling_ratio; in kvm_get_msr_common()
853 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_svm_vmexit()854 svm_write_tsc_multiplier(vcpu, vcpu->arch.tsc_scaling_ratio); in nested_svm_vmexit()1248 vcpu->arch.tsc_scaling_ratio = in nested_svm_update_tsc_ratio_msr()1251 svm_write_tsc_multiplier(vcpu, vcpu->arch.tsc_scaling_ratio); in nested_svm_update_tsc_ratio_msr()
1519 u64 tsc_ratio = vcpu->arch.tsc_scaling_ratio; in svm_prepare_guest_switch()
2519 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in prepare_vmcs02()2525 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()4522 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_vmx_vmexit()4561 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
771 u64 tsc_scaling_ratio; /* current scaling ratio */ member
Completed in 64 milliseconds