xen/arch: add dump coloring info for domains

Print the color assignment for each domain when requested.

Signed-off-by: Luca Miccio <206497@studenti.unimore.it>
Signed-off-by: Marco Solieri <marco.solieri@unimore.it>

diff --git a/xen/arch/arm/coloring.c b/xen/arch/arm/coloring.c
index 17a5c0cfa5a2b025a4426d2d47dd3eb9842d1bd4..bb4e7bf2f50ca2eaced709ca2bb613baa9c3385e 100644 (file)
--- a/xen/arch/arm/coloring.c
+++ b/xen/arch/arm/coloring.c
@@ -335,6 +335,18 @@ static int __init parse_xen_colors(const char *s)
 }
 custom_param("xen_colors", parse_xen_colors);
 
+void coloring_dump_info(struct domain *d)
+{
+    int i;
+
+    printk("Domain %d has %u color(s) [ ", d->domain_id, d->max_colors);
+    for ( i = 0; i < d->max_colors; i++ )
+    {
+        printk("%"PRIu32" ", d->colors[i]);
+    }
+    printk("]\n");
+}
+
 /*
  * Local variables:
  * mode: C

diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c
index 3d02cf41634725364b17d4c41939fa641604f4d4..ba5c3c27f7d8f7a6cb6c5d13ed210cf08fa09db9 100644 (file)
--- a/xen/arch/arm/domain.c
+++ b/xen/arch/arm/domain.c
@@ -1052,6 +1052,7 @@ int domain_relinquish_resources(struct domain *d)
 void arch_dump_domain_info(struct domain *d)
 {
     p2m_dump_info(d);
+    coloring_dump_info(d);
 }
 
 

diff --git a/xen/include/asm-arm/coloring.h b/xen/include/asm-arm/coloring.h
index 8682ace0e64180a82662100adc7fdaeeea96ebd0..1246b8428af47e992f41f8bffb5fb10b1dac913d 100644 (file)
--- a/xen/include/asm-arm/coloring.h
+++ b/xen/include/asm-arm/coloring.h
@@ -59,6 +59,8 @@ bool check_domain_colors(struct domain *d);
  */
 uint32_t *setup_default_colors(unsigned int *col_num);
 
+void coloring_dump_info(struct domain *d);
+
 /* Colored allocator functions */
 bool init_col_heap_pages(struct page_info *pg, unsigned long nr_pages);
 struct page_info *alloc_col_domheap_page(
@@ -93,6 +95,11 @@ static inline void free_col_heap_page(struct page_info *pg)
 {
        return;
 }
+
+static inline void coloring_dump_info(struct domain *d)
+{
+    return;
+}
 #endif /* CONFIG_COLORING */
 
 #endif /* !__ASM_ARM_COLORING_H__ */