This patch fixes so that gic_update always updates all the cores with new
pending irq states.
If the function returns early it is possible to get interrupts that has already
been acknowledged.
Signed-off-by: Johan Karlsson
diff --git a/hw/intc/arm_gic.c b/hw/intc/arm_gic.c
index 270ce05
> -Original Message-
> From: Christoffer Dall [mailto:christoffer.d...@linaro.org]
> Sent: den 13 november 2014 15:28
> On Thu, Nov 13, 2014 at 1:44 PM, Johan Karlsson
> wrote:
> > Hi,
> > Enabled DEBUG_GIC in arm_gic.c
> >
> > Use case:
> >
Raised pending IRQ 0 (cpu 1)' is printed more
the once.
Sorry about the ugly formatting.
/Johan Karlsson
