Searched refs:current_tsc_ratio (Results 1 – 3 of 3) sorted by relevance
292 u64 current_tsc_ratio; member496 vmx->current_tsc_ratio = vmx->vcpu.arch.tsc_scaling_ratio; in decache_tsc_multiplier()497 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in decache_tsc_multiplier()
1467 vmx->current_tsc_ratio != vcpu->arch.tsc_scaling_ratio) in vmx_vcpu_load_vmcs()
88 static DEFINE_PER_CPU(u64, current_tsc_ratio);490 __this_cpu_write(current_tsc_ratio, TSC_RATIO_DEFAULT); in svm_hardware_enable()1384 if (tsc_ratio != __this_cpu_read(current_tsc_ratio)) { in svm_vcpu_load()1385 __this_cpu_write(current_tsc_ratio, tsc_ratio); in svm_vcpu_load()