On 24/08/2020 13:35, Jan Beulich wrote: > is_pv_32bit_domain() has become expensive, and its use here is > redundant: Only 32-bit guests would ever get PGT_pae_xen_l2 set on > their L2 page table pages anyway. > > Suggested-by: Andrew Cooper <andrew.coop...@citrix.com> > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Possibly "if some other error does lead to PGT_pae_xen_l2 ending up anywhere else, we still don't want to allow a guest to control the entries" ? Acked-by: Andrew Cooper <andrew.coop...@citrix.com>
