Generic Interrupt Controller versions 3 and 4: Difference between revisions

[unchecked revision][unchecked revision]
Content deleted Content added
No edit summary
Line 21:
* The device generates an LPI by writing directly to the Redistributor's GICR_SETLPIR.
* The device generates an LPI via the ITS service, which will generate the LPI on its behalf.
 
In GICv3 the ITS is optional, one option (ITS vs no-ITS). In GICv4, there must be at least one ITS, in order to support the injection of virtual LPIs into vPEs (so GICv4 must choose the ITS approach, and it does not have the option of using the non-ITS approach).
 
== Locality-based Peripheral IRQ ==