commit a93a2a70d841ea1ed5bd7a7b275b80bbef559b51
author Dimitris Papastamos <dimitris.papastamos@arm.com> Fri Jun 22 11:38:12 2018 +0100
committer GitHub <noreply@github.com> Fri Jun 22 11:38:12 2018 +0100
tree 5346453ae28e8c0359ec9175f3c220ad311aa0fc
parent 29b18bdde5e8b8306c638d5ecbcea63a6c8935e2
parent dd6dad0a786d8e032c74c0a4cdac28f4b5fb299b

Merge pull request #1442 from jeenu-arm/sdei-dispatch-fix

SDEI: Fix dispatch bug

services/std_svc/sdei/sdei_intr_mgmt.c

diff --git a/services/std_svc/sdei/sdei_intr_mgmt.c b/services/std_svc/sdei/sdei_intr_mgmt.c
index 6acb129..264ab44 100644
--- a/services/std_svc/sdei/sdei_intr_mgmt.c
+++ b/services/std_svc/sdei/sdei_intr_mgmt.c
@@ -505,7 +505,7 @@
 	 * the event handling completed, EOI the corresponding
 	 * interrupt.
 	 */
-	if ((map->ev_num != SDEI_EVENT_0) && is_map_bound(map)) {
+	if ((map->ev_num != SDEI_EVENT_0) && !is_map_bound(map)) {
 		ERROR("Invalid SDEI mapping: ev=%u\n", map->ev_num);
 		panic();
 	}