On 20/12/2017 10:33, Rhett Rhett wrote: > tsc_sequence had been set to 0 before, so the tsc page won't function. > guest has no chance to read tsc page before the last write. > kvm_write_guest is not atomic. The guest can see a non-zero sequence before the other fields have been set. Paolo