Hi Jan,
> On 17 Mar 2025, at 08:41, Jan Beulich <jbeul...@suse.com> wrote:
>
> On 16.03.2025 20:24, Luca Fancellu wrote:
>> --- a/xen/common/Kconfig
>> +++ b/xen/common/Kconfig
>> @@ -74,6 +74,9 @@ config HAS_KEXEC
>> config HAS_LLC_COLORING
>> bool
>>
>> +config HAS_PAGING_MEMPOOL
>> + bool
>
> Imo this is too little of a change outside of Arm-specific code here. Just
> go grep for "paging_mempool" to see what pretty obviously wants to fall
> under that new control. There may be more stuff. The stubs for
> arch_{get,set}_paging_mempool_size() likely also want to live in a header,
> perhaps even one in asm-generic/.
I’m wondering, since we already have arch_{get,set}_paging_mempool_size
architecture specific, I believe this config needs to be ARCH_PAGING_MEMPOOL
and needs to provide stubs inside include/xen/domain.h in a similar way of how
ARCH_MAP_DOMAIN_PAGE is done.
What do you think?
Cheers,
Luca
