tree 230d4a25cf1bf1b8197e5e447991371e6ddea34c
parent e102765a6bed059feb9413dcaea94625f90d87d8
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1529665424 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1529665424 +0100

SDEI: Fix name of internal function

The function end_sdei_explicit_dispatch() was intended to be
end_sdei_synchronous_dispatch() which does the opposite of
begin_sdei_synchronous_dispatch(). This patch fixes that.

No functional changes.

Change-Id: I141bd91eb342ecf4ddfd05b49513eee4549e7a56
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>