On 24.08.2020 14:50, Andrew Cooper wrote:
> 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" ?

I've added this, but I'm not fully convinced it's a meaningful
statement: We only ever invoke the macro for L2 pages, so
"anywhere else" to me meaning more than just L2 pages of 64-bit
guests looks to render the whole thing not very precise.

> Acked-by: Andrew Cooper <andrew.coop...@citrix.com>

Thanks.

Jan

Reply via email to