xen/arm: panic on invalid dom0less colors configuration

Signed-off-by: Stefano Stabellini <stefano.stabellini@xilinx.com>

diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 4d994f3bba5b707a9254d538cc8202ba1c07502f..b522ce52358f4a9fc7372dbed9df500d5efe059c 100644 (file)
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -2489,6 +2489,9 @@ void __init create_domUs(void)
         {
             int i, k;
 
+            if ( col_val >= (1 << get_max_colors()) )
+                panic("Invalid DomU colors configuration 0x%"PRIx64"\n", col_val);
+
             printk("Colored configuration: 0x%"PRIx64"\n", col_val);
 
             /* Calculate number of bit set */