Searched refs:tsc_ratio (Results 1 – 1 of 1) sorted by relevance
1451 u64 tsc_ratio = vcpu->arch.tsc_scaling_ratio; in svm_prepare_guest_switch() local1452 if (tsc_ratio != __this_cpu_read(current_tsc_ratio)) { in svm_prepare_guest_switch()1453 __this_cpu_write(current_tsc_ratio, tsc_ratio); in svm_prepare_guest_switch()1454 wrmsrl(MSR_AMD64_TSC_RATIO, tsc_ratio); in svm_prepare_guest_switch()