Re: [PATCH v2 4/5] xen/arm: mm: Move domain_{,un}map_* helpers in a separate file

[Jan Beulich]

On 20.07.2022 20:44, Julien Grall wrote:
> --- a/xen/common/Kconfig
> +++ b/xen/common/Kconfig
> @@ -11,6 +11,9 @@ config COMPAT
>  config CORE_PARKING
>       bool
>  
> +config DOMAIN_PAGE
> +     bool
> +
>  config GRANT_TABLE
>       bool "Grant table support" if EXPERT
>       default y

Is this an unintended leftover? I can't spot any use in this patch.

Jan