Soby Mathew 5471841870 Remove the IMF_READ_INTERRUPT_ID build option ... The IMF_READ_INTERRUPT_ID build option enables a feature where the interrupt ID of the highest priority pending interrupt is passed as a parameter to the interrupt handler registered for that type of interrupt. This additional read of highest pending interrupt id from GIC is problematic as it is possible that the original interrupt may get deasserted and another interrupt of different type maybe become the highest pending interrupt. Hence it is safer to prevent such behaviour by removing the IMF_READ_INTERRUPT_ID build option. The `id` parameter of the interrupt handler `interrupt_type_handler_t` is now made a reserved parameter with this patch. It will always contain INTR_ID_UNAVAILABLE. Fixes ARM-software/tf-issues#307 Change-Id: I2173aae1dd37edad7ba6bdfb1a99868635fa34de		2015-11-26 17:07:32 +00:00
..
bl31_arch_setup.c	Initialise cpu ops after enabling data cache	2015-03-13 10:38:09 +00:00
bl31_entrypoint.S	Make generic code work in presence of system caches	2015-09-14 22:09:40 +01:00
context.S	Add support to indicate size and end of assembly functions	2015-04-08 13:02:59 +01:00
cpu_data.S	PSCI: Migrate TF to the new platform API and CM helpers	2015-08-13 23:48:06 +01:00
crash_reporting.S	Add support to indicate size and end of assembly functions	2015-04-08 13:02:59 +01:00
runtime_exceptions.S	Remove the IMF_READ_INTERRUPT_ID build option	2015-11-26 17:07:32 +00:00