1415 	s64 usdiff;  in kvm_write_tsc()  local
1429 		usdiff = data - kvm->arch.last_tsc_write;  in kvm_write_tsc()
1431 		usdiff = (usdiff * 1000) / vcpu->arch.virtual_tsc_khz;  in kvm_write_tsc()
1445 		: "=A"(usdiff), [faulted] "=r" (faulted)  in kvm_write_tsc()
1446 		: "A"(usdiff * 1000), [divisor] "rm"(vcpu->arch.virtual_tsc_khz));  in kvm_write_tsc()
1450 		usdiff -= elapsed;  in kvm_write_tsc()
1451 		if (usdiff < 0)  in kvm_write_tsc()
1452 			usdiff = -usdiff;  in kvm_write_tsc()
1456 			usdiff = USEC_PER_SEC;  in kvm_write_tsc()
1458 		usdiff = USEC_PER_SEC; /* disable TSC match window below */  in kvm_write_tsc()
1470 	if (usdiff < USEC_PER_SEC &&  in kvm_write_tsc()