Searched refs:tsc_scaling_ratio (Results 1 – 7 of 7) sorted by relevance
32 *val = vcpu->arch.tsc_scaling_ratio; in vcpu_get_tsc_scaling_ratio()
1703 vcpu->arch.tsc_scaling_ratio = kvm_default_tsc_scaling_ratio; in set_tsc_khz()1729 vcpu->arch.tsc_scaling_ratio = ratio; in set_tsc_khz()1741 vcpu->arch.tsc_scaling_ratio = kvm_default_tsc_scaling_ratio; in kvm_set_tsc_khz()1832 u64 ratio = vcpu->arch.tsc_scaling_ratio; in kvm_scale_tsc()1990 if (vcpu->arch.tsc_scaling_ratio != kvm_default_tsc_scaling_ratio) in adjust_tsc_offset_host()
1469 if (vcpu->arch.tsc_scaling_ratio == kvm_default_tsc_scaling_ratio) { in __wait_lapic_expire()
2288 u64 tsc_ratio = vcpu->arch.tsc_scaling_ratio; in svm_vcpu_load()
510 vmx->current_tsc_ratio = vmx->vcpu.arch.tsc_scaling_ratio; in decache_tsc_multiplier()
1371 vmx->current_tsc_ratio != vcpu->arch.tsc_scaling_ratio) in vmx_vcpu_load_vmcs()7191 if (vcpu->arch.tsc_scaling_ratio != kvm_default_tsc_scaling_ratio && in vmx_set_hv_timer()7194 vcpu->arch.tsc_scaling_ratio, &delta_tsc)) in vmx_set_hv_timer()
690 u64 tsc_scaling_ratio; member
