Re: [PATCH v2 3/6] xen/x86: rename cache_flush_permitted() to has_arch_io_resources()

[Jan Beulich <jbeulich@xxxxxxxx>]

On 16.05.2025 11:45, Roger Pau Monne wrote:
> To better describe the underlying implementation.  Define
> cache_flush_permitted() as an alias of has_arch_io_resources(), so that
> current users of cache_flush_permitted() are not effectively modified.
> 
> With the introduction of the new handler, change some of the call sites of
> cache_flush_permitted() to instead use has_arch_io_resources() as such
> callers are not after whether cache flush is enabled, but rather whether
> the domain has any IO resources assigned.
> 
> No functional change intended.
> 
> Signed-off-by: Roger Pau Monné <roger.pau@xxxxxxxxxx>
> ---
> Changes since v1:
>  - Drop adjustment to l1_disallow_mask().

Moving the change to the next patch instead, as I see. For both
patches:
Reviewed-by: Jan Beulich <jbeulich@xxxxxxxx>

Jan