On Wed, May 03, 2023 at 05:55:52PM +0200, Jan Beulich wrote: > Before adding a new vCPU operation to register the secondary time area > by guest-physical address, add code to actually keep such areas up-to- > date. > > Note that pages aren't marked dirty when written to (matching the > handling of space mapped by map_vcpu_info()), on the basis that the > registrations are lost anyway across migration (or would need re- > populating at the target for transparent migration). Plus the contents > of the areas in question have to be deemed volatile in the first place > (so saving a "most recent" value is pretty meaningless even for e.g. > snapshotting). > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Roger Pau Monné <roger....@citrix.com> Thanks, Roger.
