xen/arm: add dump function for coloring info

Display general information about coloring support when requested
by the user.

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 9cebc7b8f07486a2f6233cc91b0c29212f91f49a..35af5b3aa1e9c7ac154c8ee5fa3e5ae0f4466a8f 100644 (file)
--- a/xen/arch/arm/coloring.c
+++ b/xen/arch/arm/coloring.c
@@ -24,6 +24,7 @@
 #include <xen/types.h>
 #include <xen/lib.h>
 #include <xen/errno.h>
+#include <xen/keyhandler.h>
 
 #include <asm/coloring.h>
 #include <asm/io.h>
@@ -414,6 +415,27 @@ void coloring_dump_info(struct domain *d)
     printk("]\n");
 }
 
+static void dump_coloring_info(unsigned char key)
+{
+    int i;
+
+    printk("Coloring general information\n");
+    printk("Way size: %lukB\n", way_size >> 10);
+    printk("Max. number of colors available: %lu\n", col_num_max);
+
+    printk("Xen color(s):\t[");
+    for ( i = 0; i < xen_col_num; i++ )
+        printk(" %u ", xen_col_list[i]);
+    printk("]\n");
+}
+
+static __init int register_heap_trigger(void)
+{
+    register_keyhandler('C', dump_coloring_info, "dump coloring general info", 1);
+    return 0;
+}
+__initcall(register_heap_trigger);
+
 /*
  * Local variables:
  * mode: C