xen/arm: Don't build GICv3 with the new vGIC

Commit 54ec59f6b0 "xen/arm: vgic-v3: Don't create empty re-distributor
regions" breaks compilation when using the new vGIC.

This is because the field nr_regions is not existing in the vgic
structure. For simplicity, as vGICv3 is not yet imported, disable GICv3.

Reported-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index c0e969e45a167169c13d3397841fcc3299539a30..581de67b6b374bae25502c6308f4d7b281ad9696 100644 (file)
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -40,7 +40,7 @@ config ACPI
 
 config GICV3
        bool "GICv3 driver"
-       depends on ARM_64
+       depends on ARM_64 && !NEW_VGIC
        default y
        ---help---