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/. Jan