Searched refs:__svm_write_tsc_multiplier (Results 1 – 1 of 1) sorted by relevance
531 static void __svm_write_tsc_multiplier(u64 multiplier) in __svm_write_tsc_multiplier() function554 __svm_write_tsc_multiplier(SVM_TSC_RATIO_DEFAULT); in svm_disable_virtualization_cpu()591 __svm_write_tsc_multiplier(SVM_TSC_RATIO_DEFAULT); in svm_enable_virtualization_cpu()1031 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_write_tsc_multiplier()1454 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_prepare_switch_to_guest()