Home
last modified time | relevance | path

Searched refs:current_tsc_ratio (Results 1 – 2 of 2) sorted by relevance

/Linux-v4.19/arch/x86/kvm/
Dsvm.c272 static DEFINE_PER_CPU(u64, current_tsc_ratio);
939 __this_cpu_write(current_tsc_ratio, TSC_RATIO_DEFAULT); in svm_hardware_enable()
2230 if (tsc_ratio != __this_cpu_read(current_tsc_ratio)) { in svm_vcpu_load()
2231 __this_cpu_write(current_tsc_ratio, tsc_ratio); in svm_vcpu_load()
Dvmx.c1032 u64 current_tsc_ratio; member
3050 vmx->current_tsc_ratio = vmx->vcpu.arch.tsc_scaling_ratio; in decache_tsc_multiplier()
3051 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in decache_tsc_multiplier()
3117 vmx->current_tsc_ratio != vcpu->arch.tsc_scaling_ratio) in vmx_vcpu_load()