212 static u64 __scale_tsc(u64 ratio, u64 tsc);
969 static u64 __scale_tsc(u64 ratio, u64 tsc)  in __scale_tsc()  argument
976 	_tsc  = tsc;  in __scale_tsc()
978 	_tsc += (tsc >> 32) * frac;  in __scale_tsc()
979 	_tsc += ((tsc & ((1ULL << 32) - 1)) * frac) >> 32;  in __scale_tsc()
984 static u64 svm_scale_tsc(struct kvm_vcpu *vcpu, u64 tsc)  in svm_scale_tsc()  argument
987 	u64 _tsc = tsc;  in svm_scale_tsc()
990 		_tsc = __scale_tsc(svm->tsc_ratio, tsc);  in svm_scale_tsc()
1080 	u64 tsc;  in svm_compute_tsc_offset()  local
1082 	tsc = svm_scale_tsc(vcpu, native_read_tsc());  in svm_compute_tsc_offset()
1084 	return target_tsc - tsc;  in svm_compute_tsc_offset()