xen/arm: Dom0 is not direct mapped when coloring is enabled

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

diff --git a/xen/include/asm-arm/domain.h b/xen/include/asm-arm/domain.h
index f3f3fb7d7fb7480835139dcfd74bd208dedb102d..0c8d5a11fdfea81bf559936ccdedd0f164bc4222 100644 (file)
--- a/xen/include/asm-arm/domain.h
+++ b/xen/include/asm-arm/domain.h
@@ -32,7 +32,7 @@ enum domain_type {
 #endif
 
 /* The hardware domain has always its memory direct mapped. */
-#define is_domain_direct_mapped(d) ((d) == hardware_domain)
+#define is_domain_direct_mapped(d) ((d) == hardware_domain && !(d->max_colors))
 
 struct vtimer {
     struct vcpu *v;