203 static u64 __scale_tsc(u64 ratio, u64 tsc);
946 static u64 __scale_tsc(u64 ratio, u64 tsc)  in __scale_tsc()  argument
953 	_tsc  = tsc;  in __scale_tsc()
955 	_tsc += (tsc >> 32) * frac;  in __scale_tsc()
956 	_tsc += ((tsc & ((1ULL << 32) - 1)) * frac) >> 32;  in __scale_tsc()
961 static u64 svm_scale_tsc(struct kvm_vcpu *vcpu, u64 tsc)  in svm_scale_tsc()  argument
964 	u64 _tsc = tsc;  in svm_scale_tsc()
967 		_tsc = __scale_tsc(svm->tsc_ratio, tsc);  in svm_scale_tsc()
1040 	u64 tsc;  in svm_compute_tsc_offset()  local
1042 	tsc = svm_scale_tsc(vcpu, native_read_tsc());  in svm_compute_tsc_offset()
1044 	return target_tsc - tsc;  in svm_compute_tsc_offset()