SDEI: Fix dispatch bug
authorJeenu Viswambharan <jeenu.viswambharan@arm.com>
Fri, 22 Jun 2018 10:21:35 +0000 (11:21 +0100)
committerJeenu Viswambharan <jeenu.viswambharan@arm.com>
Fri, 22 Jun 2018 10:31:58 +0000 (11:31 +0100)
commit297a9a0f7cdbf96b2ab854108ab9281e0e3a6de7
tree5346453ae28e8c0359ec9175f3c220ad311aa0fc
parent9dfd755303abcea6b58849793367639a8531b6fd
SDEI: Fix dispatch bug

The Commit cdb6ac94ecb3c4caa784cd4d7580cf6252146196 introduced a bug
because of which the SDEI dispatcher wrongly panic when an SDEI event
dispatched earlier as a result of interrupt. This patch fixes the check
for a bound interrupt.

Change-Id: If55c8f0422ff781731248bbbc9c1b59fa0d3c4b0
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
services/std_svc/sdei/sdei_intr_mgmt.c