xen/arm: vgic-v3: Build vgic-v3.c when CONFIG_HAS_GICV3 is enabled.

The vGICv3 depends whether Xen has a host driver for GICv3, not on the
architecture (AArch64 vs AArch32).

Note CONFIG_HAS_GICV3 is enabled only when for ARM64 build, so there is
no functional change.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>

diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
index f165178ab82232d94c1aaeb208e85d819822d3b8..59b3b534801b31d5c043fa6c5b1fca35749a1558 100644 (file)
--- a/xen/arch/arm/Makefile
+++ b/xen/arch/arm/Makefile
@@ -43,7 +43,7 @@ obj-y += time.o
 obj-y += traps.o
 obj-y += vgic.o
 obj-y += vgic-v2.o
-obj-$(CONFIG_ARM_64) += vgic-v3.o
+obj-$(CONFIG_HAS_GICV3) += vgic-v3.o
 obj-y += vm_event.o
 obj-y += vtimer.o
 obj-y += vpsci.o