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>

services/std_svc/sdei/sdei_intr_mgmt.c

@@ -601,7 +601,7 @@ int sdei_dispatch_event(int ev_num)
 	return 0;
 }
 
-static void end_sdei_explicit_dispatch(struct jmpbuf *buffer)
+static void end_sdei_synchronous_dispatch(struct jmpbuf *buffer)
 {
 	longjmp(buffer);
 }
@@ -679,7 +679,7 @@ int sdei_event_complete(int resume, uint64_t pc)
 	}
 
 	/* End the outstanding dispatch */
-	end_sdei_explicit_dispatch(disp_ctx->dispatch_jmp);
+	end_sdei_synchronous_dispatch(disp_ctx->dispatch_jmp);
 
 	return 0;
 }