Some boards based on Cortex-A9MP / Cortex-A15MP do not explicit the number of external GIC IRQs, using some (implicit) default value, not always trivial to figure out. Change that by removing the default value, requiring MPCore objects to be created with the "num-irq" set.
Philippe Mathieu-Daudé (8): hw/arm/exynos4210: Replace magic 32 by proper 'GIC_INTERNAL' definition hw/arm/exynos4210: Explicit number of GIC external IRQs hw/arm/realview: Explicit number of GIC external IRQs hw/arm/xilinx_zynq: Replace IRQ_OFFSET -> GIC_INTERNAL hw/arm/xilinx_zynq: Explicit number of GIC external IRQs hw/arm/vexpress: Explicit number of GIC external IRQs hw/arm/highbank: Explicit number of GIC external IRQs hw/cpu/arm_mpcore: Remove default values for GIC external IRQs hw/arm/exynos4210.c | 16 +++++++++++++-- hw/arm/highbank.c | 15 ++++++++++---- hw/arm/realview.c | 17 ++++++++++++++-- hw/arm/vexpress.c | 13 ++++++++++-- hw/arm/xilinx_zynq.c | 47 +++++++++++++++++++++++++------------------- hw/cpu/a15mpcore.c | 13 ++++++------ hw/cpu/a9mpcore.c | 14 ++++++------- 7 files changed, 91 insertions(+), 44 deletions(-) -- 2.47.1