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

[Julien Grall]

Hi,

On 21/07/2022 11:07, Jan Beulich wrote:

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.

This was a mistake when splitting/renaming the config. I will drop it.

Cheers,

--
Julien Grall