Hi,
As part of some HW preliminary tests, I am trying to monitor if two external interrupt signals (IRQ00 and IRQ02) are being detected by the processor. I see that they are directly routed to GIC-400 within the processor, but I am not sure about which address I should read to get the interrupt ID.
Thank you in advance.