[PATCH v4 03/13] KVM: x86: Expose TSC offset controls to userspace

[Paolo Bonzini]

On 29/07/21 02:10, Oliver Upton wrote:
> +6. Adjust the guest TSC offsets for every vCPU to account for (1) time
> +   elapsed since recording state and (2) difference in TSCs between the
> +   source and destination machine:
> +
> +   new_off_n = t_0 + off_n = (k_1 - k_0) * freq - t_1

The second = should be a +.

Otherwise the algorithm seems correct.
> +