On 24.07.2025 13:40, Aidan Allen wrote:
> --- a/xen/arch/x86/domain.c
> +++ b/xen/arch/x86/domain.c
> @@ -253,6 +253,10 @@ void dump_pageframe_info(struct domain *d)
> page->count_info, page->u.inuse.type_info);
> }
>
> + printk(" Domain paging pool: total: %d, free: %d, p2m: %d\n",
> + d->arch.paging.total_pages, d->arch.paging.free_pages,
> + d->arch.paging.p2m_pages);
Should this perhaps be gated, to avoid printing all zeroes for domains not
using an paging mode? Whether to use paging_mode_enabled() to do so I'm not
sure, as a domain with no paging mode enabled could still have a paging
pool configured.
Jan
