Searched refs:__svm_write_tsc_multiplier (Results 1 – 1 of 1) sorted by relevance
580 static void __svm_write_tsc_multiplier(u64 multiplier) in __svm_write_tsc_multiplier() function616 __svm_write_tsc_multiplier(SVM_TSC_RATIO_DEFAULT); in svm_hardware_disable()649 __svm_write_tsc_multiplier(SVM_TSC_RATIO_DEFAULT); in svm_hardware_enable()1184 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_write_tsc_multiplier()1547 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_prepare_switch_to_guest()
