On 19/02/2019 12:01, Jan Beulich wrote: > 64-bit PV guest user mode runs on a different L4 table. Make sure > - the accessed bit gets set in the correct table (and in log-dirty > mode the correct page gets marked dirty) during guest walks, > - the correct table gets audited by sh_audit_gw(), > - correct info gets logged by print_gw(). > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Ouch. Yes - that is a problem. Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel