Hi @T-Ii,
My sincerest apologies for the delay.
Interrupt ID can be measured by [9:0] bits of Interrupt Acknowledge Register, GICC_IAR.
And reading the IAR returns the INTID. For more information, refer to this ARM Documentation.
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------
Thanks & Regards,
Dhruvit.