From: Luca Miccio <206497@studenti.unimore.it> Date: Fri, 22 Nov 2019 18:44:00 +0000 (+0100) Subject: xen/arm: Dom0 is not direct mapped when coloring is enabled X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=b1be21560910f4fe307589ba71aa7cbb0d2913f7;p=people%2Fsstabellini%2Fxen-unstable.git%2F.git 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 --- diff --git a/xen/include/asm-arm/domain.h b/xen/include/asm-arm/domain.h index f3f3fb7d7f..0c8d5a11fd 100644 --- 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;