1298 	s64 usdiff;  in kvm_write_tsc()  local
1312 		usdiff = data - kvm->arch.last_tsc_write;  in kvm_write_tsc()
1314 		usdiff = (usdiff * 1000) / vcpu->arch.virtual_tsc_khz;  in kvm_write_tsc()
1328 		: "=A"(usdiff), [faulted] "=r" (faulted)  in kvm_write_tsc()
1329 		: "A"(usdiff * 1000), [divisor] "rm"(vcpu->arch.virtual_tsc_khz));  in kvm_write_tsc()
1333 		usdiff -= elapsed;  in kvm_write_tsc()
1334 		if (usdiff < 0)  in kvm_write_tsc()
1335 			usdiff = -usdiff;  in kvm_write_tsc()
1339 			usdiff = USEC_PER_SEC;  in kvm_write_tsc()
1341 		usdiff = USEC_PER_SEC; /* disable TSC match window below */  in kvm_write_tsc()
1353 	if (usdiff < USEC_PER_SEC &&  in kvm_write_tsc()