We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.
In case of SGI, which register can I check for Active Interrupts? I can see pending SGI interrupts in GICD_SPENDSGIRn but I am not able to see Active interrupts