Searched refs:tsc_scaling_ratio (Results 1 – 6 of 6) 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()
2433 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in kvm_vcpu_write_tsc_multiplier()2437 vcpu->arch.tsc_scaling_ratio = l1_multiplier; in kvm_vcpu_write_tsc_multiplier()2441 vcpu, vcpu->arch.tsc_scaling_ratio); in kvm_vcpu_write_tsc_multiplier()3671 ratio = vcpu->arch.tsc_scaling_ratio; in kvm_get_msr_common()
2551 vcpu->arch.tsc_scaling_ratio = kvm_calc_nested_tsc_multiplier( in prepare_vmcs02()2557 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()4538 vcpu->arch.tsc_scaling_ratio = vcpu->arch.l1_tsc_scaling_ratio; in nested_vmx_vmexit()4577 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
773 u64 tsc_scaling_ratio; /* current scaling ratio */ member
1451 u64 tsc_ratio = vcpu->arch.tsc_scaling_ratio; in svm_prepare_guest_switch()