Ich meine hier:

General Interrupt Control Register – GICR
Seite 49 im Datenblatt

Sorry, ich bin da irgendwie garnicht mehr drin...