Achin Gupta dcc1816c91 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

2014-05-22 17:47:19 +01:00

..

common/aarch64

Reduce deep nesting of header files

2014-05-06 13:57:48 +01:00

fvp

Introduce platform api to access an ARM GIC

2014-05-22 17:47:19 +01:00