Searched refs:__svm_write_tsc_multiplier (Results 1 – 1 of 1) sorted by relevance
582 static void __svm_write_tsc_multiplier(u64 multiplier) in __svm_write_tsc_multiplier() function618 __svm_write_tsc_multiplier(SVM_TSC_RATIO_DEFAULT); in svm_hardware_disable()651 __svm_write_tsc_multiplier(SVM_TSC_RATIO_DEFAULT); in svm_hardware_enable()1191 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_write_tsc_multiplier()1554 __svm_write_tsc_multiplier(vcpu->arch.tsc_scaling_ratio); in svm_prepare_switch_to_guest()