211 static u64 __scale_tsc(u64 ratio, u64 tsc);
951 static u64 __scale_tsc(u64 ratio, u64 tsc)  in __scale_tsc()  argument
958 	_tsc  = tsc;  in __scale_tsc()
960 	_tsc += (tsc >> 32) * frac;  in __scale_tsc()
961 	_tsc += ((tsc & ((1ULL << 32) - 1)) * frac) >> 32;  in __scale_tsc()
966 static u64 svm_scale_tsc(struct kvm_vcpu *vcpu, u64 tsc)  in svm_scale_tsc()  argument
969 	u64 _tsc = tsc;  in svm_scale_tsc()
972 		_tsc = __scale_tsc(svm->tsc_ratio, tsc);  in svm_scale_tsc()
1052 	u64 tsc;  in svm_compute_tsc_offset()  local
1054 	tsc = svm_scale_tsc(vcpu, native_read_tsc());  in svm_compute_tsc_offset()
1056 	return target_tsc - tsc;  in svm_compute_tsc_offset()