tree 33be23dba0b92d7296610664b942446c47131c59
parent 191e86e3d7773895da24db417bccd411773dfaed
author Achin Gupta <achin.gupta@arm.com> 1399226572 +0100
committer Achin Gupta <achin.gupta@arm.com> 1400777239 +0100

Introduce platform api to access an ARM GIC

This patch introduces a set of functions which allow generic firmware
code e.g. the interrupt management framework to access the platform
interrupt controller. APIs for finding the type and id of the highest
pending interrupt, acknowledging and EOIing an interrupt and finding
the security state of an interrupt have been added. It is assumed that
the platform interrupt controller implements the v2.0 of the ARM GIC
architecture specification. Support for v3.0 of the specification for
managing interrupts in EL3 and the platform port will be added in the
future.

Change-Id: Ib3a01c2cf3e3ab27806930f1be79db2b29f91bcf