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.
+
