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
..
opteed.mk	Add opteed based on tspd	2014-09-16 11:51:54 -07:00
opteed_common.c	Add opteed based on tspd	2014-09-16 11:51:54 -07:00
opteed_helpers.S	Add support to indicate size and end of assembly functions	2015-04-08 13:02:59 +01:00
opteed_main.c	Remove the IMF_READ_INTERRUPT_ID build option	2015-11-26 17:07:32 +00:00
opteed_pm.c	Pass the target suspend level to SPD suspend hooks	2015-09-10 15:16:45 +01:00
opteed_private.h	Add opteed based on tspd	2014-09-16 11:51:54 -07:00
teesmc_opteed.h	Add opteed based on tspd	2014-09-16 11:51:54 -07:00
teesmc_opteed_macros.h	Add opteed based on tspd	2014-09-16 11:51:54 -07:00