GIC-400 multiple pending interrupts abnormality

If there are multiple SPIs pending, our GIC-400 acts seemingly abnormally.

Reading out GICC_IAR to acknowledge the pending interrupt leads to an invalid ID value which looks like OR-ed values from the simultaneously pending SPIs.

In my understanding, GICC_IAR should return ID of the one and only one which has the highest priority among multiple pending interrupts at all times.

How could this happen?

More questions in this forum