← ARM Generic Interrupt Controller Architecture Specification