On 2/19/19 12:01 PM, 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]>

Acked-by: George Dunlap <[email protected]>

_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to