2.3.3. Interrupt triggering

The GIC-500 supports two types of physical interrupt signal:


The interrupt is pending while the interrupt input is asserted.


A rising-edge on the interrupt input causes the interrupt to become pending. The pending bit is later cleared when the interrupt is activated by the CPU interface.

You must program GICD_ICFGRn and, for PPIs using ARE = 1, GICR_ICFGR1, to have the correct settings for the system.

Copyright © 2014 ARM. All rights reserved.ARM DDI 0516B