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>
1 parent a852ec4 commit ad55b97acd709c414e2e98a4ebceeeb125da5265
@Jeenu Viswambharan Jeenu Viswambharan authored on 30 Nov 2017
Showing 1 changed file
View
services/std_svc/sdei/sdei_main.c