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 <[email protected]>
Ouch. Yes - that is a problem. Reviewed-by: Andrew Cooper <[email protected]> _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
