diff options
| author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2017-11-30 10:25:10 +0000 |
|---|---|---|
| committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2017-12-06 08:37:13 +0000 |
| commit | ad55b97acd709c414e2e98a4ebceeeb125da5265 (patch) | |
| tree | bfe1e1de5de31fd749cb65161fcbbe099425dc23 /services | |
| parent | a852ec46055977c2cd811d5b54eb3044858fe2ee (diff) | |
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>
Diffstat (limited to 'services')
| -rw-r--r-- | services/std_svc/sdei/sdei_main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/services/std_svc/sdei/sdei_main.c b/services/std_svc/sdei/sdei_main.c index 2f08c8ba..1969307f 100644 --- a/services/std_svc/sdei/sdei_main.c +++ b/services/std_svc/sdei/sdei_main.c @@ -795,7 +795,7 @@ static int sdei_private_reset(void) */ ret = sdei_event_unregister(map->ev_num); if ((ret == SDEI_EPEND) && (final_ret == 0)) - final_ret = ret; + final_ret = SDEI_EDENY; } return final_ret; @@ -817,7 +817,7 @@ static int sdei_shared_reset(void) */ ret = sdei_event_unregister(map->ev_num); if ((ret == SDEI_EPEND) && (final_ret == 0)) - final_ret = ret; + final_ret = SDEI_EDENY; } if (final_ret != 0) |