Searched refs:current_tsc_ratio (Results 1 – 3 of 3) sorted by relevance
271 u64 current_tsc_ratio; member510 vmx->current_tsc_ratio = vmx->vcpu.arch.tsc_scaling_ratio; in decache_tsc_multiplier()511 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in decache_tsc_multiplier()
1371 vmx->current_tsc_ratio != vcpu->arch.tsc_scaling_ratio) in vmx_vcpu_load_vmcs()
268 static DEFINE_PER_CPU(u64, current_tsc_ratio);945 __this_cpu_write(current_tsc_ratio, TSC_RATIO_DEFAULT); in svm_hardware_enable()2289 if (tsc_ratio != __this_cpu_read(current_tsc_ratio)) { in svm_vcpu_load()2290 __this_cpu_write(current_tsc_ratio, tsc_ratio); in svm_vcpu_load()