Achin Gupta 618bc607e9 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-19 13:10:49 +01:00
..
arm	Introduce platform api to access an ARM GIC	2014-05-19 13:10:49 +01:00
console.h	Move include and source files to logical locations	2014-05-06 12:35:02 +01:00
io_driver.h	Remove variables from .data section	2014-05-06 17:55:38 +01:00
io_fip.h	Remove variables from .data section	2014-05-06 17:55:38 +01:00
io_memmap.h	Remove variables from .data section	2014-05-06 17:55:38 +01:00
io_semihosting.h	Remove variables from .data section	2014-05-06 17:55:38 +01:00