Jeenu Viswambharan ad55b97acd SDEI: Fix return value of reset calls ... At present, both SDEI_PRIVATE_RESET and SDEI_SHARED_RESET returns SDEI_PENDING if they fail to unregister an event. The SDEI specification however requires that the APIs return SDEI_EDENY in these cases. This patch fixes the return codes for the reset APIs. Change-Id: Ic14484c91fa8396910387196c256d1ff13d03afd Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>		2017-12-06 08:37:13 +00:00
..
sdei_event.c	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00
sdei_intr_mgmt.c	SDEI: Fix security state check for explicit dispatch	2017-11-20 08:15:46 +00:00
sdei_main.c	SDEI: Fix return value of reset calls	2017-12-06 08:37:13 +00:00
sdei_private.h	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00
sdei_state.c	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00