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