xen/arm: add coloring data to domains

We want to be able to associate an assignment of cache colors to each
domain.  Add a configurable-length array containing a set of color
indices in the domain data.

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

diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h
index 9f7bc69293ba9bcf038a78f2acb77cf0303db8ae..4c539c109c09e17ab24053f7ef8d2f1b27b1c65b 100644 (file)
--- a/xen/include/xen/sched.h
+++ b/xen/include/xen/sched.h
@@ -368,6 +368,10 @@ struct domain
     atomic_t         shr_pages;       /* number of shared pages             */
     atomic_t         paged_pages;     /* number of paged-out pages          */
 
+    /* Coloring. */
+    uint32_t        *colors;
+    unsigned int    max_colors;
+
     /* Scheduling. */
     void            *sched_priv;    /* scheduler-specific data */
     struct sched_unit *sched_unit_list;