Hi,
On 02/10/2023 16:11, Roger Pau Monne wrote:
From: Jan Beulich <jbeul...@suse.com>
The registration by virtual/linear address has downsides: The access is
expensive for HVM/PVH domains. Furthermore for 64-bit PV domains the area
is inaccessible (and hence cannot be updated by Xen) when in guest-user
mode.
Introduce a new vCPU operation allowing to register the secondary time
area by guest-physical address.
An at least theoretical downside to using physically registered areas is
that PV then won't see dirty (and perhaps also accessed) bits set in its
respective page table entries.
Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Roger Pau Monné <roger....@citrix.com>
For the small change in include/public/vcpu.h:
Acked-by: Julien Grall <jgr...@amazon.com>
Cheers,--
Julien Grall
