[PATCH] x86/domain: Dump domain paging pool sizes with the rest of the pageframe info

[Aidan Allen <aidan.allen1@xxxxxxxxx>]

Added the ability to view the paging pool size via the debug keys

Signed-off-by: Aidan Allen <aidan.allen1@xxxxxxxxx>
---
 xen/arch/x86/domain.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 503a55705b..b64d09a9c8 100644
--- 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);
+
     nrspin_unlock(&d->page_alloc_lock);
 }

--
2.47.1