@@ -332,6 +332,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
@@ -1131,6 +1131,7 @@ int domain_relinquish_resources(struct domain *d)
void arch_dump_domain_info(struct domain *d)
{
p2m_dump_info(d);
+ coloring_dump_info(d);
}
@@ -40,10 +40,17 @@ bool check_domain_colors(struct domain *d);
* color configuration.
*/
uint32_t *setup_default_colors(uint32_t *col_num);
+
+void coloring_dump_info(struct domain *d);
#else /* !CONFIG_COLORING */
static inline bool __init coloring_init(void)
{
return true;
}
+
+static inline void coloring_dump_info(struct domain *d)
+{
+ return;
+}
#endif /* CONFIG_COLORING */
#endif /* !__ASM_ARM_COLORING_H__ */